CoRR, April 2013





Nino Antulov-Fantulin, Alen Lancic, Hrvoje Stefancic, Mile Sikic, Tomislav Smuc:
Statistical inference framework for source detection of contagion processes on arbitrary network structures.

Po-Yu Chen, Ivan W. Selesnick:
Translation-Invariant Shrinkage/Thresholding of Group Sparse Signals.
Turlough Neary, Damien Woods, Niall Murphy, Rainer Glaschick:
Wang's B machines are efficiently universal, as is Hasenjaeger's small universal electromechanical toy.

Krishnendu Chatterjee, Jakub Lacki:
Faster Algorithms for Markov Decision Processes with Low Treewidth.
Mostafa Rahimi Azghadi, Said F. Al-Sarawi, Derek Abbott, Nicolangelo Iannella:
A Neuromorphic VLSI Design for Spike Timing and Rate Based Synaptic Plasticity.

Diederik Aerts, Jan Broekaert, Sandro Sozzo, Tomas Veloz:
Meaning-focused and Quantum-inspired Information Retrieval.
Shachar Shayovitz, Dan Raphaeli:
A Signal Constellation for Pilotless Communications Over Wiener Phase Noise Channels.
(Withdrawn) Adaptive Energy-aware Encoding for DWT-Based Wireless EEG Monitoring System.
Fotis Foukalas, Tamer Khattab, Harold Vincent Poor:
Packet Relaying Control in Sensing-based Spectrum Sharing Systems.
Soumya C. Kambhampati, Thomas Liu:
Phase Transition and Network Structure in Realistic SAT Problems.
Nadeem Javaid, Umar Qasim, Zahoor Ali Khan, Mahmood Ashraf Khan, K. Latif, Akmal Javaid:
On Energy Efficiency and Delay Minimization in Reactive Protocols in Wireless Multi-hop Networks.
Nadeem Javaid, Zahoor Ali Khan, U. Qasim, Mahmood Ashraf Khan, K. Latif, Akmal Javaid:
Towards LP Modeling for Maximizing Throughput and Minimizing Routing Delay in Proactive Protocols in Wireless Multi-hop Networks.
Mohammad Ashekur Rahman, Atanu Barai, Md. Asadul Islam, M. M. A. Hashem:
Development of a Device for Remote Monitoring of Heart Rate and Body Temperature.




Zhenhua Yu, Robert J. Baxley, Guo Tong Zhou:
Brightness Control in Dynamic Range Constrained Visible Light OFDM Systems.
Ahmed H. Anwar, Karim G. Seddik, Tamer A. ElBatt, Ahmed H. Zahran:
Effective Capacity of Delay Constrained Cognitive Radio Links Exploiting Primary Feedback.

Qiuliang Xie, Zhaocheng Wang, Zhixing Yang:
Polar Decomposition of Mutual Information over Complex-Valued Channels.
Lazar Velimirovic, Zoran H. Peric, Miomir Stankovic, Jelena Nikolic:
Numerical determination of the optimal value of quantizer's segment threshold using quadratic spline functions.
Alexandre Domingues Gonçalves, Lúcia Maria de A. Drummond, Artur Alves Pessoa, Peter M. Hahn:
Improving Lower Bounds for the Quadratic Assignment Problem by applying a Distributed Dual Ascent Algorithm.

Ahmed Rhif, Zohra Kardous, Naceur Benhadj Braiek:
First and High Order Sliding Mode-Multimodel Stabilizing Control Synthesis using Single and Several Sliding Surfaces for Nonlinear Systems: Simulation on an Autonomous Underwater Vehicles (AUV).
Vijayvaradharaj T. Muralidharan, B. Sundar Rajan:
Linear Fractional Network Coding and Representable Discrete Polymatroids.
Arkadiusz Stopczynski, Carsten Stahlhut, Jakob Eg Larsen, Michael Kai Petersen, Lars Kai Hansen:
The Smartphone Brain Scanner: A Mobile Real-time Neuroimaging System.
Yong-Hwa Choe, Chol-Yong Jong, Song Han:
Software Cognitive Information Measure based on Relation Between Structures.
Yong-Jin Kim, Jong-Geon Kang, Chol-hun Kim, Yongmin Kim:
An efficient pairing-free certificateless two-party authenticated key agreement protocol in the eCK model.
Sariel Har-Peled, Nirman Kumar:
Approximating Minimization Diagrams and Generalized Proximity Search.
Mahashweta Das, Gautam Das, Vagelis Hristidis:
Top-K Product Design Based on Collaborative Tagging Data.
Peter Kairouz, Andrew C. Singer:
MIMO Communications over Multi-Mode Optical Fibers: Capacity Analysis and Input-Output Coupling Schemes.
Travis Martin, Brian Ball, Brian Karrer, M. E. J. Newman:
Coauthorship and citation in scientific publishing.
Kaarthik Sundar, Sivakumar Rathinam:
Algorithms for Routing an Unmanned Aerial Vehicle in the presence of Refueling Depots.
Katherine Morrison:
Equivalence for Rank-metric and Matrix Codes and Automorphism Groups of Gabidulin Codes.
Magnus Find, Mika Göös, Matti Järvisalo, Petteri Kaski, Mikko Koivisto, Janne H. Korhonen:
Separating OR, SUM, and XOR Circuits.
Gary L. Miller, Donald R. Sheehy, Ameya Velingker:
A Fast Algorithm for Well-Spaced Points and Approximate Delaunay Graphs.
Verónica Becher, Alejandro Deymonnaz, Pablo Ariel Heiber:
Efficient repeat finding via suffix arrays.
Chonho Lee, Ping Wang, Dusit Niyato:
A Real-time Group Auction System for Efficient Allocation of Cloud Internet Applications.
Emil Björnson, Marios Kountouris, Mérouane Debbah:
Massive MIMO and Small Cells: Improving Energy Efficiency by Optimal Soft-Cell Coordination.

Scott A. Hale, Helen Z. Margetts, Taha Yasseri:
Petition Growth and Success Rates on the UK No. 10 Downing Street Website.
Meryem Kassou, Laila Kjiri:
A Goal Question Metric Approach for Evaluating Security in a Service Oriented Architecture Context.
Martina Cardone, Daniela Tuninetti, Raymond Knopp, Umer Salim:
On the Gaussian Interference Channel with Half-Duplex Causal Cognition.
Jung Hoon Lee, Wan Choi:
Optimal Feedback Rate Sharing Strategy in Zero-Forcing MIMO Broadcast Channels.
Nadeem Javaid, Saad Noor Mohammad, K. Latif, U. Qasim, Zahoor Ali Khan, Mahmood Ashraf Khan:
HEER: Hybrid Energy Efficient Reactive Protocol for Wireless Sensor Networks.
Nadeem Javaid, Muhammad Waseem, Zahoor Ali Khan, U. Qasim, K. Latif, Akmal Javaid:
ACH: Away Cluster Heads Scheme for Energy Efficient Clustering Protocols in WSNs.
Xiaomin Chen, Admela Jukan, Muriel Médard:
A Novel Network Coded Parallel Transmission Framework for High-Speed Ethernet.
Louis-Charles Caron, Michiel D'Haene, Frederic Mailhot, Benjamin Schrauwen, Jean Rouat:
Event management for large scale event-driven digital hardware spiking neural networks.
Pranav Garg, P. Madhusudan, Gennaro Parlato:
Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists.
Tamal K. Dey, Anil N. Hirani, Bala Krishnamoorthy, Gavin Smith:
Edge Contractions and Simplicial Homology.
Teodoro Alamo, Roberto Tempo, Amalia Luque Sendra, Daniel R. Ramírez:
The Sample Complexity of Randomized Methods for Analysis and Design of Uncertain Systems.
Cem Aksoylar, George K. Atia, Venkatesh Saligrama:
Sparse Signal Processing with Linear and Non-Linear Observations: A Unified Shannon Theoretic Approach.
Chris Beck, Yuan Li:
Represent MOD function by low degree polynomial with unbounded one-sided error.
Mamadou Diallo Diouf, Ahmed D. Kora, Octave Ringar, Christelle Aupetit-Berthelemot:
Evolution to 200G Passive Optical Network.
P. Ashok, G. M. Kadhar Nawaz, E. Elayaraja, V. Vadivel:
Improved Performance of Unsupervised Method by Renovated K-Means.
José Fernando M. Silva, João Emílio Almeida, António Pereira, Rosaldo J. F. Rossetti, António Leça Coelho:
Preliminary Experiments with EVA - Serious Games Virtual Fire Drill Simulator.
Mohammad Hayajneh, Najah A. Abu Ali:
Closed-Form Rate Outage Probability for OFDMA Multi-Hop Broadband Wireless Networks under Nakagami-m Channels.
Vitaly Feldman, Pravesh Kothari, Jan Vondrák:
Representation, Approximation and Learning of Submodular Functions Using Low-rank Decision Trees.
Fotis Foukalas, George T. Karetsos:
On the Performance of Adaptive Modulation in Cognitive Radio Networks.
Galina Jirásková, Tomás Masopust:
On the State Complexity of the Reverse of R- and J-trivial Regular Languages.
Lijun Zhang, Tianbao Yang, Rong Jin, Xiaofei He:
O(logT) Projections for Stochastic Optimization of Smooth and Strongly Convex Functions.
Yuan Lu, Alexandra Duel-Hallen:
Adaptation to the Primary User CSI in Cognitive Radio Sensing and Access.
Abdelmajid Lakbabi, Ghizlane Orhanou, Said El Hajji:
Network Access Control Technology - Proposition to contain new security challenges.
Guillaume Allais, Pierre Boutillier, Conor McBride:
New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized.
Claudio Angione, Annalisa Occhipinti, Giovanni Stracquadanio, Giuseppe Nicosia:
Bose-Einstein Condensation in Satisfiability Problems.
Deepak Kapur, Naijun Zhan, Hengjun Zhao:
Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation.

Zahid Hussain Shamsi, Dai-Gyoung Kim:
Multiscale Hybrid Non-local Means Filtering Using Modified Similarity Measure.
Peng Wang, Chunhua Shen, Anton van den Hengel:
A Fast Semidefinite Approach to Solving Binary Quadratic Problems.
Serge Gaspers, Thomas Kalinowski, Nina Narodytska, Toby Walsh:
Coalitional Manipulation for Schulze's Rule.
Rémy Boyer, Mohammed Nabil El Korso, Alexandre Renaux, Sylvie Marcos:
Coexistence of Near-Field and Far-Field Sources: the Angular Resolution Limit.
Xin Zhang, Mohammed Nabil El Korso, Marius Pesavento:
Angular resolution limit for deterministic correlated sources.
Bartlomiej Blaszczyszyn, Mohamed Kadhem Karray:
Quality of Service in Wireless Cellular Networks Subject to Log-Normal Shadowing.
Alexis Fouilhé, David Monniaux, Michaël Périn:
Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra.
Yongkang Wong, Shaokang Chen, Sandra Mau, Conrad Sanderson, Brian C. Lovell:
Patch-based Probabilistic Image Quality Assessment for Face Selection and Improved Video-based Face Recognition.

Vikas Reddy, Conrad Sanderson, Brian C. Lovell:
Improved Anomaly Detection in Crowded Scenes via Cell-based Analysis of Foreground Speed, Size and Texture.
Feng Zhang, Wenyi Zhang:
Competition Between Wireless Service Providers: Pricing, Equilibrium and Efficiency.




Jian Wang, Suhyuk Kwon, Byonghyo Shim:
A New Look at Generalized Orthogonal Matching Pursuit: Stable Signal Recovery under Measurement Noise.
Marko Horvat, Anton Grbin, Gordan Gledec:
Labeling and Retrieval of Emotionally-Annotated Images using WordNet.
Herve Kabamba Mbikayi:
Toward Evolution Strategies Application in Automatic Polyphonic Music Transcription using Electronic Synthesis.
S. Ahmed, Nadeem Javaid, Safdar Hussain Bouk, Akmal Javaid, Mahmood Ashraf Khan, Zahoor Ali Khan:
Quantum Cryptography Using Various Reversible Quantum Logic Gates in WSNs.
Nadeem Javaid, Q. Ain, Mahmood Ashraf Khan, Akmal Javaid, Zahoor Ali Khan, U. Qasim:
On Sink Mobility Trajectory in Clustering Routing Protocols in WSNs.
Sebastian Wild, Markus E. Nebel, Ralph Neininger:
Average Case and Distributional Analysis of Java 7's Dual Pivot Quicksort.
Wayes Tushar, Jian Andrew Zhang, David B. Smith, Sylvie Thiébaux, H. Vincent Poor:
Prioritizing Consumers in Smart Grid: Energy Management Using Game Theory.



Héctor Allende, Emanuele Frandi, Ricardo Ñanculef, Claudio Sartori:
Novel Frank-Wolfe Methods for SVM Learning.
Dimitri Palaz, Ronan Collobert, Mathew Magimai-Doss:
Estimating Phoneme Class Conditional Probabilities from Raw Speech Signal using Convolutional Neural Networks.
Antonis G. Gotsis, Angeliki Alexiou:
Spatial Resources Optimization in Distributed MIMO Networks with Limited Data Sharing.
Rodolfo Ipolito Meneguette, Luiz F. Bittencourt, Edmundo R. M. Madeira:
A Seamless Flow Mobility Management Architecture for Vehicular Communication Networks.
Nadeem Javaid, I. Israr, Mahmood Ashraf Khan, Akmal Javaid, Safdar Hussain Bouk, Zahoor Ali Khan:
Analyzing Medium Access Techniques in Wireless Body Area Networks.
Nadeem Javaid, M. M. Yaqoob, M. Y. Khan, Mahmood Ashraf Khan, Akmal Javaid, Zahoor Ali Khan:
Analyzing Delay in Wireless Multi-hop Heterogeneous Body Area Networks.

Vladimir Vovk:
Kolmogorov's strong law of large numbers in game-theoretic probability: Reality's side.

Max Henrion, Marek J. Druzdzel:
Qualitative Propagation and Scenario-based Explanation of Probabilistic Reasoning.


Dekang Lin, Randy Goebel:
Integrating Probabilistic, Taxonomic and Causal Knowledge in Abductive Diagnosis.
Edward Herskovits, Gregory F. Cooper:
Kutato: An Entropy-Driven System for Construction of Probabilistic Expert Systems from Databases.



Solomon Eyal Shimony, Eugene Charniak:
A New Algorithm for Finding MAP Assignments to Belief Networks.






Frank Jensen, S. K. Anderson:
Approximations in Bayesian Belief Universe for Knowledge Based Systems.

John W. Miller, Rodney M. Goodman:
A Polynomial Time Algorithm for Finding Bayesian Probabilities from Marginal Constraints.



Lambert E. Wixson:
Application of Confidence Intervals to the Autonomous Acquisition of High-level Spatial Knowledge.
Ross D. Shachter, Stig K. Andersen, Kim-Leng Poh:
Directed Reduction Algorithms and Decomposable Graphs.


Henri Jacques Suermondt, Gregory F. Cooper, David Heckerman:
A Combination of Cutset Conditioning with Clique-Tree Propagation in the Pathfinder System.
Soumitra Dutta, Piero P. Bonissone:
Integrating Case-Based and Rule-Based Reasoning: the Possibilistic Connection.
Didier Dubois, Henri Prade:
Updating with Belief Functions, Ordinal Conditioning Functions and Possibility Measures.




Hamid R. Berenji, Yung-Yaw Chen, Chuen-Chien Lee, Jyh-Shing Roger Jang, S. Murugesan:
A Hierarchical Approach to Designing Approximate Reasoning-Based Controllers for Dynamic Physical Systems.
L. W. Chang, Rangasami L. Kashyap:
Evidence Combination and Reasoning and Its Application to Real-World Problem-Solving.
F. Correa da Silva, Alan Bundy:
On Some Equivalence Relations between Incidence Calculus and Dempster-Shafer Theory of Evidence.
Mary McLeish, P. Yao, T. Stirtzinger:
Using Belief Functions for Uncertainty Management and Knowledge Acquisition: An Expert Application.
Robert M. Fung, Stuart L. Crawford, Lee A. Appelbaum, Richard M. Tong:
An Architecture for Probabilistic Concept-Based Information Retrieval.


Michael Pittarelli:
Decisions with Limited Observations over a Finite Product Space: the Klir Effect.

S. K. Michael Wong, Pawan Lingras:
Combination of Evidence Using the Principle of Minimum Information Gain.
Thomas D. Wu:
Probabilistic Evaluation of Candidates and Symptom Clustering for Multidisorder Diagnosis.



Michael Shwe, Gregory F. Cooper:
An Empirical Analysis of Likelihood-Weighting Simulation on a Large, Multiply-Connected Belief Network.


Dan Geiger, David Heckerman:
Practical and Theoretical Advances in Knowledge Acquisition of Probabilistic Networks.
Bo Chamberlain, Finn Verner Jensen, Frank Jensen, Torsten Nordahl:
Analysis in HUGIN of Data Conflict.
Javier Esparza, Pierre Ganty, Rupak Majumdar:
Parameterized Verification of Asynchronous Shared-Memory Systems.
Qi Qian, Rong Jin, Jinfeng Yi, Lijun Zhang, Shenghuo Zhu:
Efficient Distance Metric Learning by Adaptive Sampling and Mini-Batch Stochastic Gradient Descent (SGD).
Ming-Deh Huang, Anand Kumar Narayanan:
Finding Primitive Elements in Finite Fields of Small Characteristic.
Heide Gluesing-Luerssen:
Fourier-Reflexive Partitions and MacWilliams Identities for Additive Codes.
Mert Saglam, Gábor Tardos:
On the communication complexity of sparse set disjointness and exists-equal problems.
Andres Sanin, Conrad Sanderson, Brian C. Lovell:
Shadow Detection: A Survey and Comparative Evaluation of Recent Methods.


Hing Yin Tsang, Chung Hoi Wong, Ning Xie, Shengyu Zhang:
Fourier sparsity, spectral norm, and the Log-rank conjecture.
Fumin Shen, Chunhua Shen, Rhys Hill, Anton van den Hengel, Zhenmin Tang:
Fast Approximate L_infty Minimization: Speeding Up Robust Regression.

(Withdrawn) RFID Authentication Against an Unsecure Backend Server.
Karl Voit:
What really happened on September 15th 2008? Getting The Most from Your Personal Information with Memacs.
Tinne De Laet, Wouter Schaekers, Jonas de Greef, Herman Bruyninckx:
Domain Specific Language for Geometric Relations between Rigid Bodies targeted to robotic applications.
Nicola Gatti, Marco Rocco, Tuomas Sandholm:
On the complexity of strong Nash equilibrium: Hard-to-solve instances and smoothed complexity.
Martin Mann, Heinz Ekker, Christoph Flamm:
The Graph Grammar Library - a generic framework for chemical graph rewrite systems.
(Withdrawn) Randomness-Efficient Rumor Spreading.

Manu Nandan, Pramod P. Khargonekar, Sachin S. Talathi:
Fast SVM training using approximate extreme points.
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks:
Computing Datalog Rewritings beyond Horn Ontologies.
Yun Fan, San Ling, Hongwei Liu:
Homogeneous Weights of Matrix Product Codes over Finite Principal Ideal Rings.
Quoc Trung Tran, Ivo Jimenez, Rui Wang, Neoklis Polyzotis, Anastasia Ailamaki:
RITA: An Index-Tuning Advisor for Replicated Databases.
Ali N. Avanaki, Kathryn S. Espig, Cédric Marchessoux, Elizabeth A. Krupinski, Predrag R. Bakic, Tom R. L. Kimpe, Andrew D. A. Maidment:
Integration of spatio-temporal contrast sensitivity with a multi-slice channelized Hotelling observer.
Felipe Francisco Bezerra Araújo, Alysson M. Costa, Cristóbal Miralles:
Balancing parallel assembly lines with disabled workers.

Abhinav Ganesan, B. Sundar Rajan:
Interference Alignment with Diversity for the 2 × 2 X Network with four antennas.
Lior Kamma, Robert Krauthgamer, Huy L. Nguyen:
Cutting corners cheaply, or how to remove Steiner points.
Nicola Gatti, Fabio Panozzo, Marcello Restelli:
Efficient evolutionary dynamics with extensive-form games.
Vladimir Braverman, Rafail Ostrovsky, Dan Vilenchik:
How Hard is Counting Triangles in the Streaming Model.
Tariq Shah, Sayed Azmat Hussain, Antonio Aparecido de Andrade:
Bandwidth reduction in cognitive radio.




Piero P. Bonissone, David A. Cyrluk, James W. Goodwin, Jonathan Stillman:
Uncertainty and Incompleteness.
Lashon B. Booker, Naveen Hota, Connie Loggia Ramsey:
BaRT: A Bayesian Reasoning Tool for Knowledge Based Systems.
R. Martin Chavez, Gregory F. Cooper:
An Empirical Evaluation of a Randomized Algorithm for Probabilistic Inference.
Didier Dubois, Jérôme Lang, Henri Prade:
Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision and Variable Certainty Weights.
Christopher Elsaesser, Max Henrion:
How Much More Probable is "Much More Probable"? Verbal Expressions for Probability Updates.
Henri Farreny, Henri Prade:
Positive and Negative Explanations of Uncertain Reasoning in the Framework of Possibility Theory.
Robert M. Fung, Kuo-Chu Chang:
Weighing and Integrating Evidence for Stochastic Simulation in Bayesian Networks.
María Angeles Gil, Pramod Jain:
The Effects of Perfect and Sample Information on Fuzzy Utilities in Decision-Making.
Moisés Goldszmidt, Judea Pearl:
Deciding Consistency of Databases Containing Defeasible and Strict Information.



Eric Horvitz, Henri Jacques Suermondt, Gregory F. Cooper:
Bounded Conditioning: Flexible Inference for Decisions under Scarce Resources.
Avinash C. Kak, K. M. Andress, C. Lopez-Abadia, Mark Carroll, J. R. Lewis:
Hierarchical Evidence Accumulation in the Pseiki System and Experiments in Model-Driven Mobile Robot Navigation.
Paul E. Lehner, Theresa M. Mullin, Marvin S. Cohen:
When Should a Decision Maker Ignore the Advice of a Decision Aid?
Tod S. Levitt, John Mark Agosta, Thomas O. Binford:
Model-based Influence Diagrams for Machine Vision.
Mary McLeish, P. Yao, Matthew Cecile, T. Stirtzinger:
Experiments Using Belief Functions and Weights of Evidence incorporating Statistical Data and Expert Opinions.
W. R. Moninger, J. A. Flueck, C. Lusk, W. F. Roberts:
Shootout-89: A Comparative Evaluation of Knowledge-based Systems that Forecast Severe Weather.
Eric Neufeld, Joseph Douglas Horton:
Conditioning on Disjunctive Knowledge: Defaults and Probabilities.
Gregory M. Provan:
A Logical Interpretation of Dempster-Shafer Theory, with Application to Visual Recognition.
Peter Sember, Ingrid Zukerman:
Strategies for Generating Micro Explanations for Bayesian Belief Networks.
Ross D. Shachter, Mark Alan Peot:
Simulation Approaches to General Probabilistic Inference on Belief Networks.
Michael Smithson:
Freedom: A Measure of Second-order Uncertainty for Intervalic Probability Schemes.
David J. Spiegelhalter, Rodney C. G. Franklin, Kate Bull:
Assessment, Criticism and Improvement of Imprecise Subjective Probabilities for a Medical Expert System.
Sampath Srinivas, Stuart J. Russell, Alice M. Agogino:
Automated Construction of Sparse Bayesian Networks from Unstructured Probabilistic Models and Domain Information.
Michael J. Swain, Lambert E. Wixson, Paul B. Chou:
Efficient Parallel Estimation for Markov Random Fields.
David S. Vaughan, Bruce M. Perrin, Robert M. Yadrick:
Comparing Expert Systems Built Using Different Uncertain Inference Systems.
Yang Xiang, Michael P. Beddoes, David L. Poole:
Can Uncertainty Management be Realized in a Finite Totally Ordered Probability Algebra?
Ronald R. Yager:
Normalization and the Representation of Nonmonotonic Knowledge in the Theory of Evidence.
Johan Ugander, Lars Backstrom, Jon M. Kleinberg:
Subgraph Frequencies: Mapping the Empirical and Extremal Geography of Large Graph Collections.
Roja Bandari, Hazhir Rahmandad, Vwani P. Roychowdhury:
Blind Men and the Elephant: Detecting Evolving Groups In Social News.
João Batista Florindo, Odemir Martinez Bruno:
Multiscale Fractal Descriptors Applied to Texture Classification.




Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
A Scalable and Nearly Uniform Generator of SAT Witnesses.
Jian-Jia Chen, Mong-Jen Kao, D. T. Lee, Ignaz Rutter, Dorothea Wagner:
Online Power-Managing Strategy with Hard Real-Time Guarantees.
Natalia V. Pavlova, Petr N. Vabishchevich, Maria V. Vasilyeva:
Mathematical modeling of thermal stabilization of vertical wells on high performance computing systems.
Xiaoming Chen, Hsiao-Hwa Chen:
Interference-Aware Resource Control in Multi-Antenna Cognitive Ad Hoc Networks with Heterogeneous Delay Constraints.
Bernhard Haslhofer, Werner Robitza, Carl Lagoze, François Guimbretière:
Semantic Tagging on Historical Maps.


Daniele Loiacono, Luigi Cardamone, Pier Luca Lanzi:
Simulated Car Racing Championship: Competition Software Manual.
Yuriy V. Pershin, Massimiliano Di Ventra:
Self-organization and solution of shortest-path optimization problems with memristive networks.
Sunil Joy Dommati, Ruchi Agrawal, Ram Mohana Reddy Guddeti, S. Sowmya Kamath:
Bug Classification: Feature Extraction and Comparison of Event Model using Naïve Bayes Approach.
Pierre-Etienne Meunier, Matthew J. Patitz, Scott M. Summers, Guillaume Theyssier, Andrew Winslow, Damien Woods:
Intrinsic universality in tile self-assembly requires cooperation.
Romain Brenguier, Jean-François Raskin, Mathieu Sassolas:
The Complexity of Admissibility in Omega-Regular Games.
Sipendra Sinha, Amol Gaikwad, Deepak Kumar, Snehal Darade, Rohit Singh, Pramod D. Ganjewar:
Data Hiding in Binary Image using Block Parity.

Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis:
Verification of Artifact-Centric Systems: Decidability and Modeling Issues.
Lei Wang, Yuwang Yang, Wei Zhao, Wei Lu:
Network Coding for Energy-Efficient Distributed Storage System in Wireless Sensor Networks.
Laurent Poinsot:
Harmonic analysis and a bentness-like notion in certain finite Abelian groups over some finite fields.

Arash Ghayoori, T. Aaron Gulliver:
Upgraded Approximation of Non-Binary Alphabets for Polar Code Construction.
(Withdrawn) The Round Complexity of Small Set Intersection.
Jeff Erickson, Anastasios Sidiropoulos:
A near-optimal approximation algorithm for Asymmetric TSP on embedded graphs.

Himanshu Asnani, Ilan Shomorony, Amir Salman Avestimehr, Tsachy Weissman:
Network Compression: Worst-Case Analysis.
Eric Hielscher, Alex Rubinsteyn, Dennis E. Shasha:
Locality Optimization for Data Parallel Programs.
(Withdrawn) A Simulation and Modeling of Access Points with Definition Language.
Jeff LeFevre, Jagan Sankaranarayanan, Hakan Hacigümüs, Jun'ichi Tatemura, Neoklis Polyzotis:
Towards a Workload for Evolutionary Analytics.
Grant Schoenebeck:
Potential Networks, Contagious Communities, and Understanding Social Network Structure.
Yi Zhong, Wenyi Zhang, Martin Haenggi:
Managing Interference Correlation Through Random Medium Access.
Batuhan Karagöz, Semih Yavuz, Tracey Ho, Michelle Effros:
Multi-Resolution Video Streaming in Peer-to-peer Networks.
Yongkun Li, Patrick P. C. Lee, John C. S. Lui:
Stochastic Analysis on RAID Reliability for Solid-State Drives.
Matthias Petschow, Enrique S. Quintana-Ortí, Paolo Bientinesi:
Improved Accuracy and Parallelism for MRRR-based Eigensolvers -- A Mixed Precision Approach.
Justus H. Piater, Antonio Jose Rodríguez-Sánchez:
Proceedings of the 37th Annual Workshop of the Austrian Association for Pattern Recognition (ÖAGM/AAPR), 2013.
Katarzyna Ewa Pasierb, Tomasz Kajdanowicz, Przemyslaw Kazienko:
Privacy-preserving Data Mining, Sharing and Publishing.
Thomas Dueholm Hansen, Rasmus Ibsen-Jensen:
The complexity of interior point methods for solving discounted turn-based stochastic games.
Vasiliy Usatyuk:
The implementation of the parallel shortest vector enumerate in the block Korkin-Zolotarev method.
Pierre-Malo Deniélou, Nobuko Yoshida:
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types.
Prosenjit Bose, Kai Dannies, Jean-Lou De Carufel, Christoph Doell, Carsten Grimm, Anil Maheshwari, Stefan Schirra, Michiel H. M. Smid:
Network Farthest-Point Diagrams.

Shuguang Han, Zhen Yue, Daqing He:
Automatic Detection of Search Tactic in Individual Information Seeking: A Hidden Markov Model Approach.
Tong Peng, Rodrigo C. de Lamare, Anke Schmeink:
Distributed Space-Time Coding Based on Adjustable Code Matrices for Cooperative MIMO Relaying Systems.
Mohab Safey El Din, Elias P. Tsigaridas:
A probabilistic algorithm to compute the real dimension of a semi-algebraic set.
Rodrigo C. de Lamare:
Generalized Reduced-Rank Decompositions Using Switching and Adaptive Algorithms for Space-Time Adaptive Processing.
Rodrigo C. de Lamare:
Interference Suppression and Group-Based Power Adjustment via Alternating Optimization for DS-CDMA Networks with Multihop Relaying.
Fatih Kocak, George Kesidis, Tuan-Minh Pham, Serge Fdida:
The effect of caching on a model of content and access provider revenues in information-centric networks.
Seokhyun Yoon, Chan-Byoung Chae:
Low Complexity MIMO Detection based on Belief Propagation over Pair-wise Graphs.
Haibo Jiang, Yaofei Ma, Dongsheng Hong, Zhen Li:
A new metric for routing in military wireless network.
Jun Fang, Yanning Shen, Huiping Duan, Hongbin Li:
One-Bit Quantization Design and Adaptive Methods for Compressed Sensing.
Carola Doerr, François-Michel De Rainville:
Constructing Low Star Discrepancy Point Sets with Genetic Algorithms.
George Athanasiou, Pradeep Chathuranga Weeraddana, Carlo Fischione:
Auction-based Resource Allocation in MillimeterWave Wireless Access Networks.




Trong Nghia Hoang, Kian Hsiang Low:
A General Framework for Interacting Bayes-Optimally with Self-Interested Agents using Arbitrary Parametric Model and Model Prior.
Taha Yasseri, Giovanni Quattrone, Afra J. Mashhadi:
Temporal Analysis of Activity Patterns of Editors in Collaborative Mapping Project of OpenStreetMap.
Alvaro Cabezas-Clavijo, Emilio Delgado López-Cózar:
Google Scholar and the h-index in biomedicine: the popularization of bibliometric asessment.
Abdelali El Bouchti, Said El Kafhali, Abdelkrim Haqiq:
Performance Modelling and Analysis of Connection Admission Control in OFDMA based WiMAX System with MMPP Queuing.
Youssef Saadi, Said El Kafhali, Abdelkrim Haqiq, Bouchaib Nassereddine:
Simulation Analysis of Routing Protocols using Manhattan Grid Mobility Model in MANET.
Shayan Oveis Gharan, Luca Trevisan:
Improved ARV Rounding in Small-set Expanders and Graphs of Bounded Threshold Rank.

Sofiane Chemaa, Raida Elmansouri, Allaoua Chaoui:
Web Services Modeling and Composition Approach using Object-Oriented Petri Nets.
Hossein Hosseini, Behnam Bahrak, Farzad Hessar:
A GOST-like Blind Signature Scheme Based on Elliptic Curve Discrete Logarithm Problem.
A. R. M. Jalal Uddin Jamali, M. M. A. Hashem, M. Mahfuz Hasan, Md. Bazlar Rahman:
Solving Linear Equations by Classical Jacobi-SR Based Hybrid Evolutionary Algorithm with Uniform Adaptation Technique.
Hao Lu, Peilin Hong, Kaiping Xue:
High-Throughput Cooperative Communication with Interference Cancellation for Two-Path Relay in Multi-source System.
S. M. Mohsen, S. M. Zamshed Farhan, M. M. A. Hashem:
Automatic Fingerprint Recognition Using Minutiae Matching Technique for the Large Fingerprint Database.
Md. Mizanur Rahman, Md. Shahadat Hossain, Md. Rakib Hassan, M. M. A. Hashem:
An Improved GEF Fast Addition Algorithm.
Md. Nazrul Islam, M. M. A. Hashem, A. M. Moshiur Rahman:
A Probabilistic Algorithm for Reducing Broadcast Redundancy in Ad Hoc Wireless Networks.
Yongkang Wong, Conrad Sanderson, Sandra Mau, Brian C. Lovell:
Dynamic Amelioration of Resolution Mismatches for Local Feature Based Identity Inference.
Jianbin Huang, Xuejun Huangfu, Heli Sun, Hong Cheng, Qinbao Song:
Backward Path Growth for Efficient Mobile Sequential Recommendation.
(Withdrawn) Two-player preplay negotiation games with conditional offers.


Mohammadreza Chamanbaz, Fabrizio Dabbene, Roberto Tempo, Venkatakrishnan Venkataramanan, Qing-Guo Wang:
Sequential Randomized Algorithms for Convex Optimization in the Presence of Uncertainty.
Michael Erhard, Hans Strauch:
Sensors and Navigation Algorithms for Flight Control of Tethered Kites.
Emilio Leonardi, Giovanni Luca Torrisi:
Large deviations of the interference in the Ginibre network model.
Alexander Barg, Marcelo Firer, Marcos Vinicius Spreafico, Luciano Vianna Felix:
Linear codes on posets with extension property.
Paolo Frasca, Chiara Ravazzi, Roberto Tempo, Hideaki Ishii:
Gossips and Prejudices: Ergodic Randomized Dynamics in Social Networks.
Michal Cierny, Haining Wang, Risto Wichman, Zhi Ding, Carl Wijting:
On Number of Almost Blank Subframes in Heterogeneous Cellular Networks.
Elmar Peise, Diego Fabregat-Traver, Yurii S. Aulchenko, Paolo Bientinesi:
Algorithms for Large-scale Whole Genome Association Analysis.
Angelamaria Cardone, Zdzislaw Jackiewicz, Hong Zhang, Adrian Sandu:
Extrapolation-based implicit-explicit general linear methods.

Gyan Ranjan, Zhi-Li Zhang, Daniel Boley:
Incremental Computation of Pseudo-Inverse of Laplacian: Theory and Applications.
Nilanjan Dey, Prasenjit Maji, Poulami Das, Shouvik Biswas, Achintya Das, Sheli Sinha Chaudhuri:
Embedding of Blink Frequency in Electrooculography Signal using Difference Expansion based Reversible Watermarking Technique.
Pigi Kouki:
Sharing of Semantically Enhanced Information for the Adaptive Execution of Business Processes.
Jonathan A. Kelner, Lorenzo Orecchia, Yin Tat Lee, Aaron Sidford:
An Almost-Linear-Time Algorithm for Approximate Max Flow in Undirected Graphs, and its Multicommodity Generalizations.



John S. Breese, Michael R. Fehling:
Decision-Theoretic Control of Problem Solving: Principles and Architecture.
Matthew Cecile, Mary McLeish, P. Pascoe, W. Taylor:
Induction and Uncertainty Management Techniques Applied to Veterinary Medical Diagnosis.



Didier Dubois, Henri Prade:
Modeling uncertain and vague knowledge in possibility and evidence theories.
Soumitra Dutta:
A Temporal Logic for Uncertain Events and An Outline of A Possible Implementation in An Extension of PROLOG.










Jayant Kalagnanam, Max Henrion:
A Comparison of Decision Analysis and Expert Rules for Sequential Diagnosis.



Tod S. Levitt, Thomas O. Binford, Gil J. Ettinger, Patrice Gelband:
Utility-Based Control for Computer Vision.





Prakash P. Shenoy, Glenn Shafer:
An Axiomatic Framework for Bayesian and Belief-function Propagation.

Henri Jacques Suermondt, Gregory F. Cooper:
Updating Probabilities in Multiply-Connected Belief Networks.
Bjørnar Tessem, Lars Johan Ersland:
Handling uncertainty in a system for text-symbol context analysis.





Rodrigo C. de Lamare:
Blind Interference Suppression and Power Adjustment with Alternating Optimization for Cooperative DS-CDMA Networks.
Rodrigo C. de Lamare, Sheng Li:
Joint Iterative Power Adjustment and Interference Suppression Algorithms for Cooperative DS-CDMA Networks.
Elizabeth L. Murnane, Bernhard Haslhofer, Carl Lagoze:
RESLVE: Leveraging User Interest to Improve Entity Disambiguation on Short Text.
Domenico Cantone, Marianna Nicolosi Asmundo:
On the satisfiability problem for a 3-level quantified syllogistic.
Chandra Chekuri, Anastasios Sidiropoulos:
Approximation algorithms for Euler genus and related problems.

Paul Bunn, Rafail Ostrovsky:
Secure End-to-End Communication with Optimal Throughput in Unreliable Networks.
S. M. Ashik Eftekhar, Sk. Mahbub Habib, M. M. A. Hashem:
Evolutionary Design of Digital Circuits Using Genetic Programming.
M. M. A. Hashem, Rushdi Shams, Md. Abdul Kader, Md. Abu Sayed:
Design and Development of a Heart Rate Measuring Device using Fingertip.
Rushdi Shams, M. M. A. Hashem, Afrina Hossain, Suraiya Rumana Akter, Monika Gope:
Corpus-based Web Document Summarization using Statistical and Linguistic Approach.



Chen Feng, Roberto Wanderley da Nóbrega, Frank R. Kschischang, Danilo Silva:
Communication over Finite-Chain-Ring Matrix Channels.
K. M. Motahar Hossain, Zahir Raihan, M. M. A. Hashem:
On Appropriate Selection of Fuzzy Aggregation Operators in Medical Decision Support System.
Md. Asadul Islam, G. M. Mashrur-E-Elahi, M. M. A. Hashem:
A New Distributed Evolutionary Computation Technique for Multi-Objective Optimization.
A. R. M. Jalal Uddin Jamali, Mohammad Arif Hossain, G. M. Moniruzzaman, M. M. A. Hashem:
For Solving Linear Equations Recombination is a Needless Operation in Time-Variant Adaptive Hybrid Algorithms.
Felix Palludan Hargreaves, Daniel Merkle:
FooPar: A Functional Object Oriented Parallel Framework in Scala.

Albert Sunny, Joy Kuri, Anurag Kumar:
An Analysis on the Inter-Cell Station Dependency Probability in an IEEE 802.11 Infrastructure WLANs.
Andy Diwen Zhu, Hui Ma, Xiaokui Xiao, Siqiang Luo, Youze Tang, Shuigeng Zhou:
Shortest Path and Distance Queries on Road Networks: Towards Bridging Theory and Practice.


Abdelhakim Herrouz, Chabane Khentout, Mahieddine Djoudi:
Overview of Visualization Tools for Web Browser History Data.
Leo Yu Zhang, Xiaobo Hu, Yuansheng Liu, Kwok-Wo Wong, Jie Gan:
A chaotic image encryption scheme owning temp-value feedback.


Yan Jin, Jin-Kao Hao, Jean-Philippe Hamiez:
A memetic algorithm for the minimum sum coloring problem.
Jorge M. A. Gomes, Fernando Silva, Teresa Chambel:
Genetic Soundtracks: Creative Matching of Audio to Video.
Jean Souviron:
Convex hull: Incremental variations on the Akl-Toussaint heuristics Simple, optimal and space-saving convex hull algorithms.
Nan Yao, Feng Qian, Zuolei Sun:
Image Classification by Feature Dimension Reduction and Graph based Ranking.
Majid Ghaderi, Dennis Goeckel, Ariel Orda, Mostafa Dehghan:
Efficient Wireless Security Through Jamming, Coding and Routing.
Domenico Ciuonzo, Peter K. Willett, Yaakov Bar-Shalom:
Tracking the Tracker from its Passive Sonar ML-PDA Estimates.



Kathryn Blackmond Laskey:
Belief in Belief Functions: An Examination of Shafer's Canonical Examples.


John B. Bacon:
An Interesting Uncertainty-Based Combinatoric Problem in Spare Parts Forecasting: The FRED System.
Thomas O. Binford, Tod S. Levitt, Wallace B. Mann:
Bayesian Inference in Model-Based Machine Vision.
Gautam Biswas, Tejwansh S. Anand:
Using the Dempster-Shafer Scheme in a Diagnostic Expert System Shell.

David Heckerman, Holly Brügge Jimison:
A Perspective on Confidence and Its Use in Focusing Attention During Knowledge Acquisition.
Michael C. Higgins:
NAIVE: A Method for Representing Uncertainty and Temporal Relationships in an Automated Reasoner.





Richard A. Caruana:
The Automatic Training of Rule Bases that Use Numerical Uncertainty Representations.
Stephen I. Gallant:
Automated Generation of Connectionist Expert Systems for Problems Involving Noise and Redundancy.
Ross D. Shachter, David M. Eddy, Vic Hasselblad, Robert Wolpert:
A Heuristic Bayesian Approach to Knowledge Acquisition: Application to Analysis of Tissue-Type Plasminogen Activator.
Piero P. Bonissone:
Using T-Norm Based Uncertainty Calculi in a Naval Situation Assessment Application.



Donald H. Mitchell, Steven A. Harp, David K. Simkin:
A Knowledge Engineer's Comparison of Three Evidence Aggregation Methods.
Eric Neufeld, David L. Poole:
Towards Solving the Multiple Extension Problem: Combining Defaults and Probabilities.

Ben P. Wise, Bruce M. Perrin, David S. Vaughan, Robert M. Yadrick:
The Role of Tuning Uncertain Inference Systems.
Lashon B. Booker, Naveen Hota, Gavin Hemphill:
Implementing a Bayesian Scheme for Revising Belief Commitments.










Abolfazl S. Motahari, Kannan Ramchandran, David Tse, Nan Ma:
Optimal DNA shotgun sequencing: Noisy reads are as good as noiseless reads.


Ivan Rodero, Manish Parashar:
Cross-layer Application-aware Power/Energy Management for Extreme Scale Science.
Md. Mamun Ali Sarker, Md. Ashraf Hossain Khan, M. M. A. Hashem:
Guidelines to the Problem of Location Management and Database Architecture for the Next Generation Mobile Networks.
Nicolas Bredèche, Jean-Marc Montanier, Berend Weel, Evert Haasdijk:
Roborobo! a Fast Robot Simulator for Swarm and Collective Robotics.
David H. S. Chung, Philip A. Legg, Matthew L. Parry, Rhodri Bown, Iwan W. Griffiths, Robert S. Laramee, Min Chen:
Glyph Sorting: Interactive Visualization for Multi-dimensional Data.
Vasyl Ustimenko, Aneta Wróblewska:
On the key exchange with nonlinear polynomial maps of stable degree.
Chinmay Narayan, Shibashis Guha, S. Arun-Kumar:
Inferring Fences in a Concurrent Program Using SC proof of Correctness.
Jia Zheng, Baofeng Wu, Yufu Chen, Zhuojun Liu:
Constructing $2m$-variable Boolean functions with optimal algebraic immunity based on polar decomposition of $\mathbb{F}_{2^{2m}}^*$.
Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman:
Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri.
Christian Doerr, Norbert Blenn, Siyu Tang, Piet Van Mieghem:
Are Friends Overrated? A Study for the Social News Aggregator Digg.com.

Francesco Orabona, Koby Crammer, Nicolò Cesa-Bianchi:
A Generalized Online Mirror Descent with Applications to Classification and Regression.
Sofia C. Olhede, David Ramírez, Peter J. Schreier:
Measuring Directionality in Random Fields Using the Monogenic Signal.
Bryan Poling, Gilad Lerman:
A New Approach To Two-View Motion Segmentation Using Global Dimension Minimization.
Carlos Castillo, Mohammed El-Haddad, Jürgen Pfeffer, Matt Stempeck:
Characterizing the Life Cycle of Online News Stories Using Social Media Reactions.
Martin Kasparick, Gerhard Wunder:
Autonomous Algorithms for Centralized and Distributed Interference Coordination: A Virtual Layer Based Approach.
Sanam Sadr, Stefan Valentin:
Anticipatory Buffer Control and Resource Allocation for Wireless Video Streaming.
Mouhamed Abdulla, Yousef R. Shayan:
Simple and Generic Simulator Algorithm for Inhomogeneous Random Spatial Deployment.










Pascal Fua:
Deriving And Combining Continuous Possibility Functions in the Framework of Evidential Reasoning.

Shohara L. Hardt:
Flexible Interpretations: A Computational Model for Dynamic Uncertainty Assessment.





Kathryn Blackmond Laskey, Marvin S. Cohen:
An Application of Non-Monotonic Probabilistic Reasoning to Air Force Threat Correlation.


Uttam Mukhopadhyay:
An Uncertainty Management Calculus for Ordering Searches in Distributed Dynamic Databases.




Stanley M. Schwartz, Jonathan Baron, John R. Clarke:
A Causal Bayesian Model for the Diagnosis of Appendicitis.

Prakash P. Shenoy, Glenn Shafer, Khaled Mellouli:
Propagation of Belief Functions: A Distributed Approach.
Randall Smith, Matthew Self, Peter C. Cheeseman:
Estimating Uncertain Spatial Relationships in Robotics.
Masaki Togai, Hiroyuki Watanabe:
A VLSI Design and Implementation for a Real-Time Approximate Reasoning.
Richard M. Tong, Lee A. Appelbaum, Daniel G. Shapiro:
A General Purpose Inference Engine for Evidential Reasoning Research.


Robert M. Yadrick, Bruce M. Perrin, David S. Vaughan, Peter D. Holden, Karl G. Kempf:
Evaluation of Uncertain Inference Models I: PROSPECTOR.

Jonathan Arthur Quaye-Ballard, Ru An, A. B. Agyemang, N. Y. Oppong-Quayson, J. E. N. Ablade:
GUI Database for the Equipment Store of the Department of Geomatic Engineering, KNUST.
Sultan Ullah, Xuefeng Zheng, Feng Zhou, Haichun Zhao:
TCLOUD: Challenges and Best Practices for Cloud Computing.
François-Michel De Rainville, Michèle Sebag, Christian Gagné, Marc Schoenauer, Denis Laurendeau:
Sustainable Cooperative Coevolution with a Multi-Armed Bandit.
Evgeniy Grigoriev:
On PROGRESS Operation. How to Make Object-Oriented Programming System More Object-Oriented (DRAFT).

Sreechakra Goparaju, Salim El Rouayheb, A. Robert Calderbank, H. Vincent Poor:
Data Secrecy in Distributed Storage Systems under Exact Repair.
Mohammed Alshehri, Steve Drew, Rayed AlGhamdi:
Analysis of Citizens Acceptance for E-government Services: Applying the UTAUT Model.

Toshiya Itoh, Seiji Yoshimoto:
Buffer Management of Multi-Queue QoS Switches with Class Segregation.
Fabio Mascarenhas, Sérgio Medeiros, Roberto Ierusalimschy:
On the Relation between Context-Free Grammars and Parsing Expression Grammars.
Seok-Hwan Park, Osvaldo Simeone, Onur Sahin, Shlomo Shamai:
Joint Precoding and Multivariate Backhaul Compression for the Downlink of Cloud Radio Access Networks.
Palash Gupta, Hussain Mohammed, M. M. A. Hashem:
Characterization of Downlink Transmit Power Control during Soft Handover in WCDMA Systems.
Yulan Guo, Ferdous Ahmed Sohel, Mohammed Bennamoun, Min Lu, Jianwei Wan:
Rotational Projection Statistics for 3D Local Surface Description and Object Recognition.
A. R. M. Jalal Uddin Jamali, M. M. A. Hashem, Md. Bazlar Rahman:
An Approach to Solve Linear Equations Using a Time-Variant Adaptation Based Hybrid Evolutionary Algorithm.

Denis Berthier:
From Constraints to Resolution Rules, Part II: chains, braids, confluence and T&E.
Jean-Yves Moyen, Paolo Parisen Toldin:
A polytime complexity analyser for Probabilistic Polynomial Time over imperative stack programs.
Said El Kafhali, Mohamed Hanini, Abdelali El Bouchti, Abdelkrim Haqiq:
Performances Evaluation of Enhanced Basic Time Space Priority combined with an AQM.
Mohamed Hanini, Said El Kafhali, Abdelkrim Haqiq, Amine Berqia:
Effect of the Feedback Function on the QoS in a Time Space Priority with Active Queue Management.
Said El Kafhali, Abdelkrim Haqiq:
Effect of Mobility and Traffic Models on the Energy Consumption in MANET Routing Protocols.
John Collins, Brian Farrimond, David Flower, Mark Anderson, David Gill:
The Removal of Numerical Drift from Scientific Models.
Maher Jebali, Patrice Dalle, Mohamed Jemni:
Extension of hidden markov model for recognizing large vocabulary of sign language.
Mustapha Aznag, Mohamed Quafafou, Nicolas Durand, Zahi Jarir:
Web Services Discovery and Recommendation Based on Information Extraction and Symbolic Reputation.
Md. Kamal Hossain, Ayman A. El-Saleh:
Cognitive Radio Engine Model Utilizing Soft Fusion Based Genetic Algorithm For Cooperative Spectrum Optimization.
Avihay Shirazi, Uria Basher, Haim H. Permuter:
Channel Coding and Source Coding with Increased Partial Side Information.
Vladimir V. Gusev, Marina I. Maslennikova, Elena V. Pribavkina:
Principal ideal languages and synchronizing automata.
Dragan Vidakovic, Dusko Parezanovic, Olivera Nikolic, Jelena Kaljevic:
RSA Signature: Behind the Scenes.
S. Hemalatha, U. Dinesh Acharya, A. Renuka, Priya R. Kamath:
A Secure Color Image Steganography In Transform Domain.
Vaishali D. Khairnar, Ketan Kotecha:
Performance of Vehicle-to-Vehicle Communication using IEEE 802.11p in Vehicular Ad-hoc Network Environment.
Jorge C. Gomes, Paulo Urbano, Anders Lyhne Christensen:
Evolution of Swarm Robotics Systems with Novelty Search.
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron:
Quipper: A Scalable Quantum Programming Language.
Jorge C. Gomes, Anders Lyhne Christensen:
Generic Behaviour Similarity Measures for Evolutionary Swarm Robotics.
Ankit Mundra, Bhagvan K. Gupta, Geetanjali Rathee, Meenu Chawla, Nitin Rakesh, Vipin Tyagi:
Validated Real Time Middle Ware For Distributed Cyber Physical Systems Using HMM.
Amit Sharma, Dan Cosley:
Do Social Explanations Work? Studying and Modeling the Effects of Social Explanations in Recommender Systems.
Seyed Hamed Alemohammad, Dara Entekhabi:
Merging Satellite Measurements of Rainfall Using Multi-scale Imagery Technique.





Ray J. Solomonoff:
Foundations of Probability Theory for AI - The Application of Algorithmic Probability to Problems in Artificial Intelligence.
Piero P. Bonissone, Keith S. Decker:
Selecting Uncertainty Calculi and Granularity: An Experiment in Trading-Off Precision and Complexity.







David S. Vaughan, Bruce M. Perrin, Robert M. Yadrick, Peter D. Holden, Karl G. Kempf:
An Odds Ratio Based Inference Engine.





James E. Corter, Mark A. Gluck:
Machine Generalization and Human Categorization: An Information-Theoretic View.









Rushikesh Kamalapurkar, Patrick Walters, Warren E. Dixon:
Concurrent learning-based approximate optimal regulation.
Rushikesh Kamalapurkar, Huyen T. Dinh, Patrick Walters, Warren E. Dixon:
Approximate optimal cooperative decentralized control for consensus in a topological network of agents with uncertain nonlinear dynamics.
Nathan Oken Hodas, Farshad Kooti, Kristina Lerman:
Friendship Paradox Redux: Your Friends Are More Interesting Than You.
Andrew Arnold, Mark Giesbrecht, Daniel S. Roche:
Faster sparse interpolation of straight-line program.
Salim Farah, Magdy Bayoumi:
Hardware Acceleration of the Gipps Model for Real-Time Traffic Simulation.
Bogdan Carbunar, Mahmudur Rahman, Jaime Ballesteros, Naphtali Rishe:
Eat the Cake and Have It Too: Privacy Preserving Location Aggregates in Geosocial Networks.
Lin Wang, Fa Zhang, Jordi Arjona Aroca, Athanasios V. Vasilakos, Kai Zheng, Chenying Hou, Dan Li, Zhiyong Liu:
A General Framework for Achieving Energy Efficiency in Data Center Networks.
Mostaque Md. Morshedur Hassan:
Current Studies On Intrusion Detection System, Genetic Algorithm And Fuzzy Logic.
Ramin Maazallahi, Aliakbar Niknafs:
A modified dna computing approach to tackle the exponential solution space of the graph coloring problem.
Victor Naroditskiy, Nicholas R. Jennings, Pascal Van Hentenryck, Manuel Cebrián:
Crowdsourcing Dilemma.
Gagan Dua, Nitin Gautam, Dharmendar Sharma, Ankit Arora:
Replay Attack Prevention in Kerberos Authentication Protocol Using Triple Password.
Garimella Rama Murthy, M. Srikanth, K. Viswanadh:
Global cognitive radio based communication systems: Space-time communications.
V. Vasanthi, M. Hemalatha:
Simulation of Obstruction Avoidance Generously Mobility (OAGM) Model using Graph-theory Technique.
Sandrine Blazy, Vincent Laporte, André Oliveira Maroneze, David Pichardie:
Formal Verification of a C Value Analysis Based on Abstract Interpretation.
Christopher R. S. Banerji, Toufik Mansour, Simone Severini:
A notion of graph likelihood and an infinite monkey theorem.
Sunita Jahirabadkar, Parag Kulkarni:
SCAF An effective approach to Classify Subspace Clustering algorithms.


S. Hemalatha, U. Dinesh Acharya, A. Renuka, Priya R. Kamath:
A Secure And High Capacity Image Steganography Technique.
Iyad A. Kanj, Guohui Lin, Tian Liu, Weitian Tong, Ge Xia, Jinhui Xu, Boting Yang, Fenghui Zhang, Peng Zhang, Binhai Zhu:
Algorithms for Cut Problems on Trees.
David Sutter, Joseph M. Renes, Renato Renner:
Efficient One-Way Secret-Key Agreement and Private Channel Coding via Polarization.
John-Olof Nilsson, Dave Zachariah, Isaac Skog, Peter Händel:
Cooperative localization by dual foot-mounted inertial sensors and inter-agent ranging.


Dominique Attali, André Lieutier:
Geometry driven collapses for converting a Cech complex into a triangulation of a nicely triangulable shape.
Fosca Giannotti, Dino Pedreschi, Alex Pentland, Paul Lukowicz, Donald Kossmann, James L. Crowley, Dirk Helbing:
A planetary nervous system for social mining and collective awareness.

Robert West, Ryen W. White, Eric Horvitz:
From Cookies to Cooks: Insights on Dietary Patterns via Analysis of Web Usage Logs.

Karthekeyan Chandrasekaran, Justin Thaler, Jonathan Ullman, Andrew Wan:
Faster Private Release of Marginals on Small Databases.

Md. Rakib Hassan, Md. Kamrul Hasan, M. M. A. Hashem:
An Improved ACS Algorithm for the Solutions of Larger TSP Problems.
Hemant G. Rotithor:
A Taxonomy of Performance Assurance Methodologies and its Application in High Performance Computer Architectures.
Ardalan Amiri Sani, Sreekumar Nair, Lin Zhong, Quinn Jacobson:
Making I/O Virtualization Easy with Device Files.
Jimmy S. J. Ren, Wei Wang, Stephen Shaoyi Liao:
Optimal Control Theory in Intelligent Transportation Systems Research - A Review.
Tejashvi R. Naik, Vipul K. Dabhi:
Improving Generalization Ability of Genetic Programming: Comparative Study.
A. R. M. Jalal Uddin Jamali, M. M. A. Hashem, Md. Bazlar Rahman:
Solving Linear Equations Using a Jacobi Based Time-Variant Adaptive Hybrid Evolutionary Algorithm.
Dyonisius Dony Ariananda, Madan Kumar Lakshmanan, Homayoun Nikookar:
An Investigation of Wavelet Packet Transform for Spectrum Estimation.
Emilio Coppa, Camil Demetrescu, Irene Finocchi, Romolo Marotta:
Multithreaded Input-Sensitive Profiling.

Qiang Cao, Xiaowei Yang:
SybilFence: Improving Social-Graph-Based Sybil Defenses with User Negative Feedback.
Seok-Hwan Park, Osvaldo Simeone, Onur Sahin, Shlomo Shamai:
Multi-Layer Transmission and Hybrid Relaying for Relay Channels with Multiple Out-of-Band Relays.
Badreddine Meftahi, Ourida Ben Boubaker Saidi:
A New Homogeneity Inter-Clusters Measure in SemiSupervised Clustering.
Ramon Ferrer-i-Cancho, Haitao Liu:
The risks of mixing dependency lengths from sequences of different length.
Craig Boutilier, Moisés Goldszmidt:
Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence (2000).
Kathryn B. Laskey, Henri Prade:
Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence (1999).
Gregory F. Cooper, Serafín Moral:
Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence (1998).
Djallel Bouneffouf:
The Impact of Situation Clustering in Contextual-Bandit Algorithm for Context-Aware Recommender Systems.
Dan Geiger, Prakash P. Shenoy:
Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence (1997).
Eric Horvitz, Finn Verner Jensen:
Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (1996).
Philippe Besnard, Steve Hanks:
Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (1995).
Ramón López de Mántaras, David Poole:
Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence (1994).
David Heckerman, E. H. Mamdani:
Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence (1993).
Bruce D'Ambrosio, Didier Dubois, Philippe Smets, Michael P. Wellman:
Proceedings of the Eighth Conference on Uncertainty in Artificial Intelligence (1992).
Piero P. Bonissone, Bruce D'Ambrosio, Philippe Smets:
Proceedings of the Seventh Conference on Uncertainty in Artificial Intelligence (1991).
Piero P. Bonissone, Max Henrion, Laveen N. Kanal, John F. Lemmer:
Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (1990).
Max Henrion, Laveen N. Kanal, John F. Lemmer, Ross D. Shachter:
Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (1989).
Laveen N. Kanal, John F. Lemmer, Tod S. Levitt, Ross D. Shachter:
Proceedings of the Fourth Conference on Uncertainty in Artificial Intelligence (1988).
Laveen N. Kanal, John F. Lemmer, Tod S. Levitt:
Proceedings of the Third Conference on Uncertainty in Artificial Intelligence (1987).
Laveen N. Kanal, John F. Lemmer:
Proceedings of the Second Conference on Uncertainty in Artificial Intelligence (1986).
Ehsan Nekouei, Hazer Inaltekin, Subhrakanti Dey:
Distributed Cognitive Multiple Access Networks: Power Control, Scheduling and Multiuser Diversity.
Siddharth Barman, Shuchi Chawla, Seeun Umboh:
A 2-Approximation for Redundancy Aware Network Design with Laminar Demands.
Z. Yang, Rodrigo C. de Lamare:
Sparsity-Aware STAP Algorithms Using L1-norm Regularization For Radar Systems.
Seung Min Yu, Seong-Lyun Kim:
Game-theoretic Understanding of Price Dynamics in Mobile Communication Services.
Shenggen Zheng, Jozef Gruska, Daowen Qiu:
Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata.
Lipeng Ning, Tryphon T. Georgiou, Allen R. Tannenbaum, Stephen P. Boyd:
Linear models based on noisy data and the Frisch scheme.
Valmi Dufour-Lussier, Florence Le Ber, Jean Lieber, Emmanuel Nauer:
Automatic case acquisition from texts for process-oriented case-based reasoning.
Alexander Jung, Sebastian Schmutzhard, Franz Hlawatsch, Zvika Ben-Haim, Yonina C. Eldar:
Minimum Variance Estimation of a Sparse Vector within the Linear Gaussian Model: An RKHS Approach.
Muhammad Omer Bin Saeed, Muhammad S. Sohail, Syed Zeeshan Rizvi, Mobien Shoaib, Asrar U. H. Sheikh:
An accelerated CLPSO algorithm.
Wanqiu Guan, Haoyu Gao, Mingmin Yang, Yuan Li, Haixin Ma, Weining Qian, Zhigang Cao, Xiaoguang Yang:
Hot Social Events on SinaWeibo.
Sarra Mamechaoui, Fedoua Didi, Guy Pujolle:
A survey on energy efficiency for wireless mesh network.
Guan Gui, Abolfazl Mehbodniya, Fumiyuki Adachi:
Least Mean Square/Fourth Algorithm with Application to Sparse Channel Estimation.

Jose A. García, Rosa Rodriguez-Sánchez, Joaquín Fernández-Valdivia, Nicolas Robinson-Garcia, Daniel Torres-Salinas:
Best-in-class and Strategic Benchmarking of Scientific Subject Categories of Web of Science in 2010.
Lipeng Ning, Tryphon T. Georgiou, Allen R. Tannenbaum:
Matrix-valued Monge-Kantorovich Optimal Mass Transport.


Julius Pfrommer, Joseph Warrington, Georg Schildbach, Manfred Morari:
Dynamic vehicle redistribution and online price incentives in shared mobility systems.
Yannis Pantazis, Markos A. Katsoulakis, Dionisios G. Vlachos:
Parametric Sensitivity Analysis for Biochemical Reaction Networks based on Pathwise Information Theory.
(Withdrawn) Millimeter Wave Picocellular System Evaluation for Urban Deployments.
Long Cheng, Zeng-Guang Hou, Min Tan:
Reaching a Consensus in Networks of High-Order Integral Agents under Switching Directed Topology.
Changkyu Kim, Russell Ford, Yanjia Qi, Sundeep Rangan:
Joint Interference and User Association Optimization in Cellular Wireless Networks.
Manan D. Shah, Harshad B. Prajapati:
Reallocation and Allocation of Virtual Machines in Cloud Computing.
Deepak C. Vegda, Harshad B. Prajapati:
Scheduling of Dependent Tasks Application using Random Search Technique.
K. Phani Tejaswi, D. Shanmukha Rao, Thara Nair, A. V. V. Prasad:
GPU Acclerated Automated Feature Extraction from Satellite Images.
Scott Backhaus, Russell Bent, James W. Bono, Ritchie Lee, Brendan Tracey, David H. Wolpert, Dongping Xie, Yildiray Yildiz:
Cyber-Physical Security: A Game Theory Model of Humans Interacting over Control Systems.
Muhammad Fainan Hanif, Le-Nam Tran, Antti Tölli, Markku J. Juntti:
Computationally Efficient Robust Beamforming for SINR Balancing in Multicell Downlink.
Harsh N. Thakker, Mayank Saha, Manik Lal Das:
Reputation Algebra for Cloud-based Anonymous Data Storage Systems.
Seyed Javad Heydari, Mahmoud Ferdosizadeh Naeiny, Farokh Marvasti:
Iterative Detection with Soft Decision in Spectrally Efficient FDM Systems.
Kawser Wazed Nafi, Tonny Shekha Kar, Md. Amjad Hossain, M. M. A. Hashem:
A Fuzzy Logic Based Certain Trust Model for E-Commerce.
Humayun Irshad, Alexandre Gouaillard, Ludovic Roux, Daniel Racoceanu:
Multispectral Spatial Characterization: Application to Mitosis Detection in Breast Cancer Histopathology.
Hossein Movafegh Ghadirli, Maryam Rastgarpour:
A Model for an Intelligent and Adaptive Tutor based on Web by Jackson's Learning Styles Profiler and Expert Systems.
Hossein Movafegh Ghadirli, Maryam Rastgarpour:
A Paradigm for the Application of Cloud Computing in Mobile Intelligent Tutoring Systems.
(Withdrawn) Multiobjective optimization in Gene Expression Programming for Dew Point.
Conrad Lee, Bobo Nick, Ulrik Brandes, Pádraig Cunningham:
Link Prediction with Social Vector Clocks.




Austin Abrams, Christopher Hawley, Kylia Miskell, Adina Stoica, Nathan Jacobs, Robert Pless:
Shadow Estimation Method for "The Episolar Constraint: Monocular Shape from Shadow Correspondence".
Wilko van Hoek, Philipp Mayr:
Assessing Visualization Techniques for the Search Process in Digital Libraries.
Piotr Bródka, Stanislaw Saganowski, Przemyslaw Kazienko:
Group Evolution Discovery in Social Networks.
Suzhi Bi, Ying Jun Zhang:
Graphical Methods for Defense Against False-data Injection Attacks on Power System State Estimation.
(Withdrawn) Compressed Sensing Matrices: Binary vs. Ternary.
Eva C. Song, Emina Soljanin, Paul Cuff, H. Vincent Poor:
Rate-Distortion-Based Physical Layer Secrecy in Multimode Fiber.
Laveen N. Kanal, John F. Lemmer:
Proceedings of the First Conference on Uncertainty in Artificial Intelligence (1985).
K. C. Srikantaiah, N. Krishna Kumar, K. R. Venugopal, Lalit M. Patnaik:
Bidirectional Growth based Mining and Cyclic Behaviour Analysis of Web Sequential Patterns.
Serge Abiteboul, Émilien Antoine, Julia Stoyanovich:
The Webdamlog System Managing Distributed Knowledge on the Web.
Maël Le Treust, Samson Lasaulce, Yezekael Hayel, Gaoning He:
Green Power Control in Cognitive Wireless Networks.
Marek Cygan, Dániel Marx, Marcin Pilipczuk, Michal Pilipczuk:
The planar directed k-Vertex-Disjoint Paths problem is fixed-parameter tractable.
Hossein Movafegh Ghadirli, Maryam Rastgarpour:
A Web-based Adaptive and Intelligent Tutor by Expert Systems.
Hossein Movafegh Ghadirli, Maryam Rastgarpour:
A Web-based Multilingual Intelligent Tutor System based on Jackson's Learning Styles Profiler and Expert Systems.


(Withdrawn) Navigability on Networks: A Graph Theoretic Perspective.


Azza Abouzied, Dana Angluin, Christos H. Papadimitriou, Joseph M. Hellerstein, Avi Silberschatz:
Learning and Verifying Quantified Boolean Queries by Example.
Arijit Bishnu, Subir Kumar Ghosh, Partha P. Goswami, Sudebkumar Prasant Pal, Swami Sarvattomananda:
An Algorithm for Computing Constrained Reflection Paths in Simple Polygon.
Venkatesan Guruswami, Patrick Xia:
Polar Codes: Speed of polarization and polynomial gap to capacity.
Peng Bao, Huawei Shen, Junming Huang, Xueqi Cheng:
Popularity Prediction in Microblogging Network: A Case Study on Sina Weibo.
Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal:
Distributed Abstraction Algorithm for Online Predicate Detection.
Ryan R. Curtin, William B. March, Parikshit Ram, David V. Anderson, Alexander G. Gray, Charles Lee Isbell Jr.:
Tree-Independent Dual-Tree Algorithms.
Pasupuleti Rajesh, Gugulothu Narsimha:
Privacy Preserving Data Mining by Using Implicit Function Theorem.
Mehrtash Tafazzoli Harandi, Conrad Sanderson, Richard I. Hartley, Brian C. Lovell:
Sparse Coding and Dictionary Learning for Symmetric Positive Definite Matrices: A Kernel Approach.
B. S. Kochkarev:
Typical property of one class of combinatory objects and estimation from above corresponding combinatory numbers.
Joel Lang, James Henderson:
Efficient Computation of Mean Truncated Hitting Times on Very Large Graphs.
Jan Noessner, Mathias Niepert, Heiner Stuckenschmidt:
RockIt: Exploiting Parallelism and Symmetry for MAP Inference in Statistical Relational Models.
Alireza Karbalay-Ghareh, Mohsen Hejazi, Masoumeh Nasiri-Kenari:
Convolutional Network-Coded Cooperation Scheme.
Mohamed-Jalal Fadili, Gabriel Peyré, Samuel Vaiter, Charles-Alban Deledalle, Joseph Salmon:
Stable Recovery with Analysis Decomposable Priors.

Christian Staudt, Henning Meyerhenke:
Engineering High-Performance Community Detection Heuristics for Massive Graphs.
Ahmed A. Zewail, Mohammed Nafie, Yahya Mohasseb, Hesham El Gamal:
The Deterministic Multicast Capacity of 4-Node Relay Networks.
Yongjie Yang, Jiong Guo:
Complexity of Sincere-Strategy Preference-Based Approval Control in k-Peaked Elections.
Lamia Romdhani, Amr Mohamed:
An analytic study of a distributed EDCA-based QoS mapping for layered video delivery in WLAN.
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Abstraction and Acceleration in SMT-based Model-Checking for Array Programs.

Gautam D. Bhanage, Sanjit Kaul:
Investigating Randomly Generated Adjacency Matrices For Their Use In Modeling Wireless Topologies.
Núbia Rosa da Silva, Odemir Martinez Bruno:
Heterogeneous patterns enhancing static and dynamic texture classification.
Hala ElAarag, David Bauschlicher, Steven Bauschlicher:
System Architecture of HatterHealthConnect: An Integration of Body Sensor Networks and Social Networks to Improve Health Awareness.

Mahdi Zamanighomi, Zhengdao Wang:
Multiple-Antenna Interference Network with Receive Antenna Joint Processing and Real Interference Alignment.
Dragan Vidakovic, Olivera Nikolic, Dusko Parezanovic, Jelena Kaljevic:
Joint operation in public key cryptography.
Lars Backstrom, Jon M. Kleinberg, Lillian Lee, Cristian Danescu-Niculescu-Mizil:
Characterizing and curating conversation threads: Expansion, focus, volume, re-entry.
Bing-Rong Lin, Ye Wang, Shantanu Rane:
On the Benefits of Sampling in Privacy Preserving Statistical Analysis on Distributed Databases.
Hossein Movafegh Ghadirli, Maryam Rastgarpour:
An Adaptive and Intelligent Tutor by Expert Systems for Mobile Devices.
Saeed Kaviani, Witold A. Krzymien:
Optimal Multiuser Zero-Forcing with Per-Antenna Power Constraints for Network MIMO Coordination.
Saeed Kaviani, Witold A. Krzymien:
Robust Joint Precoder and Equalizer Design in MIMO Communication Systems.
Fedor V. Fomin, Daniel Lokshtanov, Saket Saurabh:
Efficient Computation of Representative Sets with Applications in Parameterized and Exact Algorithms.
S. Ali A. Fakoorian, A. Lee Swindlehurst:
On the Optimality of Linear Precoding for Secrecy in the MIMO Broadcast Channel.
Leonardo Torres, Sidnei J. S. Sant'Anna, Corina da Costa Freitas, Alejandro César Frery:
Speckle Reduction in Polarimetric SAR Imagery with Stochastic Distances and Nonlocal Means.



Danai Koutra, Joshua T. Vogelstein, Christos Faloutsos:
DELTACON: A Principled Massive-Graph Similarity Function.
Takuya Akiba, Yoichi Iwata, Yuichi Yoshida:
Fast Exact Shortest-Path Distance Queries on Large Networks by Pruned Landmark Labeling.
Jagdish Lal Raheja, Ankit Chaudhary, Kunal Singal:
Tracking of Fingertips and Centres of Palm using KINECT.
Rodrigo C. de Lamare, Didier Le Ruyet:
Multi-Branch MMSE Decision Feedback Detection Algorithms with Error Propagation Mitigation for Multi-Antenna Systems.
R. Gobithasan, O. Norziah, Jamaludin Md. Ali:
Developing a General algorithm for Ball Curve with GC2.
Huiyi Hu, Thomas Laurent, Mason A. Porter, Andrea L. Bertozzi:
A Method Based on Total Variation for Network Modularity Optimization using the MBO Scheme.
Rong Jin, Tianbao Yang, Shenghuo Zhu:
A New Analysis of Compressive Sensing by Stochastic Proximal Gradient Descent.
Yuan Li, Haoyu Gao, Mingmin Yang, Wanqiu Guan, Haixin Ma, Weining Qian, Zhigang Cao, Xiaoguang Yang:
What are Chinese Talking about in Hot Weibos.
Tanya Khovanova, Ziv Scully:
Efficient Calculation of Determinants of Symbolic Matrices with Many Variables.
Song-Nam Hong, Giuseppe Caire:
Structured Lattice Codes for Some Two-User Gaussian Networks with Cognition, Coordination and Two Hops.
Ankit Chaudhary, Ankur Gupta:
Automated Switching System for Skin Pixel Segmentation in Varied Lighting.
Javier Martín Hernández, Huijuan Wang, Piet Van Mieghem, G. D'Agostino:
On Synchronization of Interdependent Networks.
David Coudert, Luc Hogie, Aurélien Lancin, Dimitri Papadimitriou, Stéphane Pérennes, Issam Tahiri:
Feasibility study on distributed simulations of BGP.


Shixi Chen, Shuigeng Zhou:
Recursive Mechanism: Towards Node Differential Privacy and Unrestricted Joins [Full Version, Draft 0.1].
Yongjune Kim, Kyoung Lae Cho, Hongrak Son, Jaehong Kim, Jun Jin Kong, Jaejin Lee, B. V. K. Vijaya Kumar:
Modulation Coding for Flash Memories.
Amit Sharma, Mevlana Gemici, Dan Cosley:
Friends, Strangers, and the Value of Ego Networks for Recommendation.
Raúl Machado:
On the Generalized Hermite-Based Lattice Boltzmann Construction, Lattice Sets, Weights, Moments, Distribution Functions and High-Order Models.
Nick Cheney, Jeff Clune, Jason Yosinski, Hod Lipson:
Hands-free Evolution of 3D-printable Objects via Eye Tracking.
Aditya Mahajan, M. S. Dahiya, H. P. Sanghvi:
Forensic Analysis of Instant Messenger Applications on Android Devices.
Manfred Eppe, Mehul Bhatt, Frank Dylla:
h-approximation: History-Based Approximation of Possible World Semantics as ASP.
Nikhil R. Devanur, Shaddin Dughmi, Roy Schwartz, Ankit Sharma, Mohit Singh:
On the Approximation of Submodular Functions.

Edgar Chávez, Ana C. Chávez-Cáliz, Jorge L. López-López:
Polygon Matching and Indexing Under Affine Transformations.
Sixia Chen, Cristopher Moore, Alexander Russell:
Small-Bias Sets for Nonabelian Groups: Derandomizing the Alon-Roichman Theorem.
Shalvi Dave, Bhushan Trivedi, Jimit Mahadevia:
Efficacy of Attack detection capability of IDPS based on it's deployment in wired and wireless environment.
Bartlomiej Blaszczyszyn, Miodrag Jovanovic, Mohamed Kadhem Karray:
Quality of Real-Time Streaming in Wireless Cellular Networks - Stochastic Modeling and Analysis.

Shubhadip Mitra, Partha Dutta, Arnab Bhattacharya:
Constraint Satisfaction over Generalized Staircase Constraints.
Hichem Bannour, Céline Hudelot:
Combinaison d'information visuelle, conceptuelle, et contextuelle pour la construction automatique de hierarchies semantiques adaptees a l'annotation d'images.
Tuan Tran Thai, Jérôme Lacan, Emmanuel Lochin:
Joint On-the-Fly Network Coding/Video Quality Adaptation for Real-Time Delivery.
Vidyadhar Upadhya, Devendra Jalihal:
Blind Non-parametric Statistics for Multichannel Detection Based on Statistical Covariances.
Stefan Wallentowitz, Philipp Wagner, Michael Tempelmeier, Thomas Wild, Andreas Herkersdorf:
Open Tiled Manycore System-on-Chip.
Meng Zheng, Przemyslaw Pawelczak, Slawomir Stanczak, Haibin Yu:
Planning of Cellular Networks Enhanced by Energy Harvesting.
Vivian Medeiros, Antônio Tadeu A. Gomes:
Expressando Atributos Não-Funcionais em Workflows Científicos.
Víctor López Millán, Vicent Cholvi, Luis López, Antonio Fernández Anta:
Improving Resource Location with Locally Precomputed Partial Random Walks.
Pablo Dorta-González, María-Isabel Dorta-González:
Impact maturity times and citation time windows: The 2-year maximum journal impact factor.
Pablo Dorta-González, María-Isabel Dorta-González:
Comparing journals from different fields of Science and Social Science through a JCR Subject Categories Normalized Impact Factor.
Pablo Dorta-González, María-Isabel Dorta-González:
Central indexes to the citation distribution: A complement to the h-index.
Irena Rusu:
MinMax-Profiles: A Unifying View of Common Intervals, Nested Common Intervals and Conserved Intervals of K Permutations.
Elliot Anshelevich, John Postl, Tom Wexler:
Assignment Games with Conflicts: Price of Total Anarchy and Convergence Results via Semi-Smoothness.
Wei Liu, Seyed Hamed Hassani, Rüdiger L. Urbanke:
The Least Degraded and the Least Upgraded Channel with respect to a Channel Family.
Trong Nghia Hoang, Kian Hsiang Low:
Interactive POMDP Lite: Towards Practical Planning to Predict and Exploit Intentions for Interacting with Self-Interested Agents.

Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporal Description Logic for Ontology-Based Data Access (Extended Version).
Saurabh D. Patil, D. V. Thombare, Vaishali D. Khairnar:
DEMO: Simulation of Realistic Mobility Model and Implementation of 802.11p (DSRC) for Vehicular Networks (VANET).
Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi:
Ball-Larus Path Profiling Across Multiple Loop iterations.
Marie-Claude Gaudel, Richard Lassaigne, Frédéric Magniez, Michel de Rougemont:
Some approximations in Model Checking and Testing.

Bernd Bank, Marc Giusti, Joos Heintz, Mohab Safey El Din:
Intrinsic complexity estimates in polynomial optimization.
Marco Mondelli, Seyed Hamed Hassani, Rüdiger L. Urbanke:
Scaling Exponent of List Decoders with Applications to Polar Codes.


Deeparnab Chakrabarty, C. Seshadhri:
An optimal lower bound for monotonicity testing over hypergrids.
Krishnendu Chatterjee, Andreas Gaiser, Jan Kretínský:
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis.
Muhammad Anshari, Mohammad Nabil Almunawar:
Shifting Role of Customer from Recipient To Partner of Care In Healthcare Organization.
Anoop Korattikara Balan, Yutian Chen, Max Welling:
Austerity in MCMC Land: Cutting the Metropolis-Hastings Budget.
Somesh Kumar Prajapati, Suvamoy Changder, Anirban Sarkar:
Trust Management Model for Cloud Computing Environment.
Joongheon Kim, Yafei Tian, Stefan Mangold, Andreas F. Molisch:
Quality-Aware Coding and Relaying for 60 GHz Real-Time Wireless Video Broadcasting.
Rohan R. Kachewar:
K model for designing Data Driven Test Automation Frameworks and its Design Architecture Snow Leopard.
Martin Kiechle, Simon Hawe, Martin Kleinsteuber:
A Joint Intensity and Depth Co-Sparse Analysis Model for Depth Map Super-Resolution.
Lizhao You, Zimu Yuan, Bin Tang, Guihai Chen:
Minimum Latency Broadcast Scheduling in Single-Radio Multi-Channel Wireless Ad-Hoc Networks.
(Withdrawn) Spectrum Allocation and Subsidization for User Welfare in Mobile Communication Services.
Luigi Briguglio, Frank Eichinger, Massimiliano Nigrelli, Javier Lucio Ruiz-Andino:
Marketplaces for Energy Demand-Side Management based on Future-Internet Technology.
Emile Contal, David Buffoni, Alexandre Robicquet, Nicolas Vayatis:
Parallel Gaussian Process Optimization with Upper Confidence Bound and Pure Exploration.


Nadia Creignou, Uwe Egly, Johannes Schmidt:
Complexity Classifications for logic-based Argumentation.
Carsten Gottschlich, Stephan Huckemann:
Separating the Real From the Synthetic: Extended Minutiae Histograms as Fingerprints of Fingerprints.
Nandana Rajatheva:
The Worst Case ISI channels and the Uniqueness of the Corresponding Minimum Eigenvalue.
Kousha Etessami, Alistair Stewart, Mihalis Yannakakis:
A note on the complexity of comparing succinctly represented integers, with an application to maximum probability parsing.
Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary:
Solving WCSP by Extraction of Minimal Unsatisfiable Cores.
Joonseok Lee, Kisung Lee, Jennifer G. Kim:
Personalized Academic Research Paper Recommendation System.

Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron:
An Introduction to Quantum Programming in Quipper.

Vasileios Lampos, Thomas Lansdall-Welfare, Ricardo Araya, Nello Cristianini:
Analysing Mood Patterns in the United Kingdom through Twitter Content.
M. Akbar, Nadeem Javaid, A. A. Khan, Zahoor Ali Khan, U. Qasim:
On Modeling Geometric Joint Sink Mobility with Delay-Tolerant Cluster-less Wireless Sensor Networks.
Neeldhara Misra, Sebastian Ordyniak, Venkatesh Raman, Stefan Szeider:
Upper and Lower Bounds for Weak Backdoor Set Detection.

Andreas Klöckner, Timothy Warburton, Jan S. Hesthaven:
Solving Wave Equations on Unstructured Geometries.
Adrian Groza, Gabriel Barbur, Bogdan Blaga:
OntoRich - A Support Tool for Semi-Automatic Ontology Enrichment and Evaluation.
Andreas Klöckner, Nicolas Pinto, Bryan Catanzaro, Yunsup Lee, Paul Ivanov, Ahmed Fasih:
GPU Scripting and Code Generation with PyCUDA.
Ferdinando Cicalese, Travis Gagie, Emanuele Giaquinta, Eduardo Sany Laber, Zsuzsanna Lipták, Romeo Rizzi, Alexandru I. Tomescu:
Indexes for Jumbled Pattern Matching in Strings, Trees and Graphs.

Liangbin Li, Hamid Jafarkhani:
Maximum-rate Transmission with Improved Diversity Gain for Interference Networks.
Ameet Talwalkar, Lester W. Mackey, Yadong Mu, Shih-Fu Chang, Michael I. Jordan:
Divide-and-Conquer Subspace Segmentation.
V. B. Surya Prasath, Juan Carlos Moreno, Kannappan Palaniappan:
Color image denoising by chromatic edges based vector valued diffusion.
Tsung-Hui Chang, Angelia Nedic, Anna Scaglione:
Distributed Constrained Optimization by Consensus-Based Primal-Dual Perturbation Method.

Ali Rezaei Divroodi, Linh Anh Nguyen:
Bisimulation-Based Comparisons for Interpretations in Description Logics.
Marc Bui, Michel Lamure, Ivan Lavallée:
La machine α: modèle générique pour les algorithmes naturels.


Doron Goldfarb, Max Arends, Josef Froschauer, Dieter Merkl:
Art History on Wikipedia, a Macroscopic Observation.
V. H. Hovnanyan, H. E. Nahapetyan, Su. S. Poghosyan, V. S. Poghosyan:
Tighter Upper Bounds for the Minimum Number of Calls and Rigorous Minimal Time in Fault-Tolerant Gossip Schemes.
Makoto Naruse, Masashi Aono, Song-Ju Kim:
Nanoscale photonic network for solution searching and decision making problems.
Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, Philippe Suter:
On Integrating Deductive Synthesis and Verification Systems.
Mahmudur Rahman, Bogdan Carbunar, Madhusudan Banik:
Fit and Vulnerable: Attacks and Defenses for a Health Monitoring Device.
Vladimir Fux, Patrick Maillé, Jean-Marie Bonnin, Nassim Kaci:
Efficiency or fairness: managing applications with different delay sensitivities in heterogeneous wireless networks.
Joao Ricardo Nickenig Vissoci, Clarissa Rodrigues Garcia, Luciano de Andrade, Jose Eduardo Santana, Amrapali Zaveri, Ricardo Pietrobon:
A Framework for Reproducible, Interactive Research: Application to health and social sciences.
Ye Tian, Aylin Yener:
Guiding Blind Transmitters: Degrees of Freedom Optimal Interference Alignment Using Relays.


Szabolcs Iván, Judit Nagy-György:
On the structure and syntactic complexity of generalized definite languages.
Danny Dolev, Janne H. Korhonen, Christoph Lenzen, Joel Rybicki, Jukka Suomela:
Synchronous Counting and Computational Algorithm Design.
M. Tahir, Nadeem Javaid, Adeel Iqbal, Zahoor Ali Khan, Nabil Ali Alrajeh:
On Adaptive Energy Efficient Transmission in WSNs.
Christophe Guéret, Tamy Chambers, Linda Reijnhoudt, Frank van der Most, Andrea Scharnhorst:
Genericity versus expressivity - an exercise in semantic interoperable research information systems for Web Science.
John Tadrous, Atilla Eryilmaz, Hesham El Gamal:
Proactive Data Download and User Demand Shaping for Data Networks.
Almila Akdag Sahal, Sally Wyatt, Samir Passi, Andrea Scharnhorst:
Mapping EINS -- An exercise in mapping the Network of Excellence in Internet Science.
(Withdrawn) Policy Aware Geospatial Data.

Martina Cardone, Daniela Tuninetti, Raymond Knopp, Umer Salim:
Gaussian Half-Duplex Relay Networks: improved constant gap and connections with the assignment problem.
Yvonne Anne Pignolet, Stefan Schmid, Gilles Trédan:
Request Complexity of VNet Topology Extraction: Dictionary-Based Attacks.
Lukás Holík, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar:
Fully Automated Shape Analysis Based on Forest Automata.
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov:
Exchanging OWL 2 QL Knowledge Bases.
Sheng Li, Rodrigo C. de Lamare, Martin Haardt:
Frequency-Domain Group-based Shrinkage Estimators for UWB Systems.
Rodrigo C. de Lamare, Are Hjørungnes, Raimundo Sampaio Neto:
A Unified Approach to Joint and Iterative Adaptive Interference Cancellation and Parameter Estimation for CDMA Systems in Multipath Channels.
Arpita Ghosh, Satyen Kale, Kevin J. Lang, Benjamin Moseley:
Bargaining for Revenue Shares on Tree Trading Networks.
Yi Liu, Shengli Xie, Rong Yu, Yan Zhang, Chau Yuen:
An Efficient MAC Protocol with Selective Grouping and Cooperative Sensing in Cognitive Radio Networks.
Giovanni Geraci, Romain Couillet, Jinhong Yuan, Mérouane Debbah, Iain B. Collings:
Large System Analysis of Linear Precoding in MISO Broadcast Channels with Confidential Messages.
Mingyue Ji, Giuseppe Caire, Andreas F. Molisch:
Fundamental Limits of Distributed Caching in D2D Wireless Networks.
Dimitrios I. Diochnos:
Commonsense Reasoning and Large Network Analysis: A Computational Study of ConceptNet 4.
Renny, Reza Chandra, Syamsi Ruhama, Mochammad Wisuda Sarjono:
Exploring Tracer Study Service in Career Center Web Site of Indonesia Higher Education.
Rajesh Hemant Chitnis, Fedor V. Fomin, Petr A. Golovach:
Parameterized Complexity of the Anchored k-Core Problem for Directed Graphs.
Yang Wang, Jin-Kao Hao, Fred Glover, Zhipeng Lü:
Solving the minimum sum coloring problem via binary quadratic programming.
Markus Bader, Johann Prankl, Markus Vincze:
Visual Room-Awareness for Humanoid Robot Self-Localization.
Mohammed-Amine Abchir, Isis Truck, Anna Pappa:
Dealing with natural language interfaces in a geolocation context.
Thomas Kalinowski, Nina Narodytska, Toby Walsh:
A Social Welfare Optimal Sequential Allocation Procedure.
Bruno Cornelis, Yun Yang, Joshua T. Vogelstein, Ann Dooms, Ingrid Daubechies, David B. Dunson:
Bayesian crack detection in ultra high resolution multimodal images of paintings.
Mohammed-Amine Abchir, Isis Truck:
Towards an Extension of the 2-tuple Linguistic Model to Deal With Unbalanced Linguistic Term sets.
Hervé Fournier, Sylvain Perifel, Rémi de Verclos:
On fixed-polynomial size circuit lower bounds for uniform polynomials in the sense of Valiant.
Petr N. Vabishchevich, V. I. Vasil'ev:
Numerical solving the identification problem for the lower coefficient of parabolic equation.
Fábio José Muneratti Ortega, Wilson Vicente Ruggiero:
Security Policies for WFMS with Rich Business Logic - A Model Suitable for Analysis.
Nafiseh Shariati, Emil Björnson, Mats Bengtsson, Mérouane Debbah:
Low-Complexity Channel Estimation in Large-Scale MIMO using Polynomial Expansion.

Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh:
Three Generalizations of the FOCUS Constraint.
Sándor P. Fekete, Nils Schweer, Jan-Marc Reinhardt:
A Competitive Strategy for Distance-Aware Online Shape Allocation.
Andrew V. Goldberg, Ilya P. Razenshteyn, Ruslan Savchenko:
Separating Hierarchical and General Hub Labelings.
Kevin S. Xu, Alfred O. Hero III:
Dynamic stochastic blockmodels: Statistical models for time-evolving networks.
Shalabh Vidyarthi, Kaushal K. Shukla:
Approximation Algorithms for Vehicle Routing Problems with Stochastic Demands on Trees.

Gonzalo Navarro:
Spaces, Trees and Colors: The Algorithmic Landscape of Document Retrieval on Sequences.
Rafah El-Khatib, Nicolas Macris, Rüdiger L. Urbanke:
Displacement Convexity, A Useful Framework for the Study of Spatially Coupled Codes.
Chun Lam Chan, Sheng Cai, Mayank Bakshi, Sidharth Jaggi, Venkatesh Saligrama:
Near-Optimal Stochastic Threshold Group Testing.

Jean-Charles Faugère, Pierrick Gaudry, Louise Huot, Guénaël Renault:
Polynomial Systems Solving by Fast Linear Algebra.
Marc Lanctot, Abdallah Saffidine, Joel Veness, Christopher Archibald, Mark H. M. Winands:
Monte Carlo *-Minimax Search.
Jürgen Teich, Wolfgang Schröder-Preikschat, Andreas Herkersdorf:
Invasive Computing - Common Terms and Granularity of Invasion.
Anna Kucerová, M. Leps:
Soft computing-based calibration of microplane M4 model parameters: Methodology and validation.
Nicolas Charon, Alain Trouvé:
The varifold representation of non-oriented shapes for diffeomorphic registration.

Serhat Nazim Avci, Ender Ayanoglu:
Network Coding-Based Link Failure Recovery over Large Arbitrary Networks.
Venkat Anantharam, Amin Aminzadeh Gohari, Sudeep Kamath, Chandra Nair:
On Maximal Correlation, Hypercontractivity, and the Data Processing Inequality studied by Erkip and Cover.
Advait Jain, Marc D. Killpack, Aaron Edsinger, Charles C. Kemp:
Manipulation in Clutter with Whole-Arm Tactile Sensing.
Jingjing Liu, Peng Li, Rodrigo C. de Lamare:
Iterative Detection and Decoding for MIMO Systems with Knowledge-Aided Message Passing Algorithms.
Peng Li, Jingjing Liu, Rodrigo C. de Lamare:
Adaptive Iterative Decision Feedback Detection Algorithms for Multi-User MIMO Systems.
Giovanni Geraci, Azzam Y. Al-nahari, Jinhong Yuan, Iain B. Collings:
Linear Precoding for Broadcast Channels with Confidential Messages under Transmit-Side Channel Correlation.
Giovanni Geraci, Romain Couillet, Jinhong Yuan, Mérouane Debbah, Iain B. Collings:
Secrecy Sum-Rates with Regularized Channel Inversion Precoding under Imperfect CSI at the Transmitter.
(Withdrawn) Separation Properties and Related Bounds of Collusion-secure Fingerprinting Codes.
Jing Guo, Salman Durrani, Xiangyun Zhou:
Outage Probability in Arbitrarily-Shaped Finite Wireless Networks.
Nicholas Mattei, Nina Narodytska, Toby Walsh:
How hard is it to control an election by breaking ties?
Yang Zhang, Dusit Niyato, Ping Wang:
An Auction Mechanism for Resource Allocation in Mobile Cloud Computing Systems.
Guanggang Geng, Xiao-Bo Jin, Xinchang Zhang, Dexian Zhang:
Evaluating Web Content Quality via Multi-scale Features.
Christoph Dürr, Óscar C. Vásquez:
Order constraints for single machine scheduling with non-linear cost.
Fedor V. Fomin, Petr A. Golovach, Janne H. Korhonen:
On the parameterized complexity of cutting a few vertices from a graph.
Hafeez Anwar, Sebastian Zambanini, Martin Kampel:
A Bag of Visual Words Approach for Symbols-Based Coarse-Grained Ancient Coin Classification.
Roland Perko, Thomas Schnabel, Gerald Fritz, Alexander Almer, Lucas Paletta:
Counting people from above: Airborne video based crowd analysis.
Anna C. Gilbert, Hung Q. Ngo, Ely Porat, Atri Rudra, Martin J. Strauss:
L2/L2-foreach sparse recovery with low risk.
Chia-Lung Wu, Po-Ning Chen, Mikael Skoglund, Ming Xiao, Shin-Lin Shieh:
A Two-Phase Maximum-Likelihood Sequence Estimation for Receivers with Partial CSI.
Andreas Brandstädt, Martin Milanic, Ragnar Nevries:
New Polynomial Cases of the Weighted Efficient Domination Problem.
Mohammad Ardeshir, Rasoul Ramezanian:
Epistemic Learning Programs A Calculus for Describing Epistemic Action Models.

Thakshila Wimalajeewa, Yonina C. Eldar, Pramod K. Varshney:
Subspace Detection from Structured Union of Subspaces via Linear Sampling.


Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch:
Guarded Variable Automata over Infinite Alphabets.
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier:
On the Complexity of Verifying Regular Properties on Flat Counter Systems.
Hans L. Bodlaender, Pål Grønås Drange, Markus S. Dregi, Fedor V. Fomin, Daniel Lokshtanov, Michal Pilipczuk:
A O(c^k n) 5-Approximation Algorithm for Treewidth.
Amotz Bar-Noy, Dror Rawitz, Peter Terlecky:
Maximizing Barrier Coverage Lifetime with Mobile Sensors.
Firas A. Jassim:
Semi-Optimal Edge Detector based on Simple Standard Deviation with Adjusted Thresholding.
Constantinos Panagiotakopoulos, Petroula Tsampouka:
The Stochastic Gradient Descent for the Primal L1-SVM Optimization Revisited.

Rajesh Hemant Chitnis, Fedor V. Fomin, Petr A. Golovach:
Preventing Unraveling in Social Networks Gets Harder.
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov:
Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version).
Wing-Kai Hon, Ton Kloks, Hsiang-Hsuan Liu, Sheung-Hung Poon, Yue-Li Wang:
On independence domination.
Cheng Wang, Xiang-Yang Li, Changjun Jiang:
Modelling Capacity Scaling of Wireless Social Networks by A Population-Based Social Formation Model.
Keke Zu, Rodrigo C. de Lamare:
Adaptive Switched Lattice Reduction-Aided Linear Detection Techniques for MIMO Systems.
Keke Zu, Rodrigo C. de Lamare, Martin Haardt:
Low-Complexity Lattice Reduction-Aided Channel Inversion Methods for Large-Dimensional Multi-User MIMO Systems.
Vít Novácek, Aisha Naseer:
Technical report: Linking the scientific and clinical data with KI2NA-LHC.
Haim Avron, Alex Druinsky, Anshul Gupta:
A Randomized Asynchronous Linear Solver with Provable Convergence Rate.

Yining Wang, Liwei Wang, Yuanzhi Li, Di He, Tie-Yan Liu, Wei Chen:
A Theoretical Analysis of NDCG Type Ranking Measures.
Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse:
Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction.
Ashutosh Lanjewar, Neelesh Gupta:
Optimizing Cost, Delay, Packet Loss and Network Load in AODV Routing Protocol.
Liangli Zhen, Zhang Yi, Xi Peng, Dezhong Peng:
Locally linear representation for subspace learning and clustering.
Hongxing Li, Chuan Wu, Zongpeng Li, Francis C. M. Lau:
Virtual Machine Trading in a Federation of Clouds: Individual Profit and Social Welfare Maximization.
Benjamin Weiß, Federico Centarti, Felix Schmitt, Stephen Straub:
Route-Based Detection of Conflicting ATC Clearances on Airports.
Huixing Fang, Huibiao Zhu, Jianqi Shi:
Apricot - An Object-Oriented Modeling Language for Hybrid Systems.
Evmorfia N. Argyriou, Aikaterini A. Sotiraki, Antonios Symvonis:
Occupational Fraud Detection Through Visualization.
Felix Schmitt, Ralf Heidger, Stephen Straub, Benjamin Weiß:
Software Design Principles of a DFS Tower A-CWP Prototype.
Oualid El Halimi, Peyman Derafshkavian, Abdulrhman Albeladi, Faisal Alrashdi:
Toward Recovering Complete SRS for Softbody Simulation System and a Sample Application - a Team 4 SOEN6481-W13 Project Report.
Christos K. Kourtellaris, Charalambos D. Charalambous, Photios Stavrou:
Nonanticipative Rate Distortion Function for General Source-Channel Matching.
(Withdrawn) Decision-Theoretic Troubleshooting: Hardness of Approximation.
Bowen Yan, Steve Gregory:
Identifying Communities and Key Vertices by Reconstructing Networks from Samples.
Maggie Habeeb, Delaram Kahrobaei, Charalambos Koupparis, Vladimir Shpilrain:
Public key exchange using semidirect product of (semi)groups.
David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino, David Romero-Hernández:
Unifying the Linear Time-Branching Time Spectrum of Process Semantics.
B. Hanmanthu, B. Raghu Ram, P. Niranjan:
Third Party Privacy Preserving Protocol for Perturbation Based Classification of Vertically Fragmented Data Bases.
Claude Castelluccia, Chaabane Abdelberi, Markus Dürmuth, Daniele Perito:
When Privacy meets Security: Leveraging personal information for password cracking.


Dániel Marx, László A. Végh:
Fixed-parameter algorithms for minimum cost edge-connectivity augmentation.
Jean Barbier, Florent Krzakala, Lenka Zdeborová, Pan Zhang:
Robust error correction for real-valued signals via message-passing decoding and spatial coupling.
Bernhard C. Geiger, Tatjana Petrov, Gernot Kubin, Heinz Koeppl:
Optimal Kullback-Leibler Aggregation via Information Bottleneck.
Yi Fang, Kai-Kit Wong, Lin Wang, Kin-Fai Tong:
Performance Analysis of Protograph LDPC Codes for Nakagami-$m$ Fading Relay Channels.
Saeed Abdallah, Ioannis N. Psaromiligkos:
EM-based Semi-blind Channel Estimation in AF Two-Way Relay Networks.
Sohail Bahmani, Petros T. Boufounos, Bhiksha Raj:
Robust 1-bit Compressive Sensing via Gradient Support Pursuit.
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini:
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance.
Charilaos Efthymiou:
MCMC sampling colourings and independent sets of G(n,d/n) near the uniqueness threshold.
Harshali D. Zodpe, Prakash W. Wani, Rakesh R. Mehta:
Hardware Implementation of Algorithm for Cryptanalysis.
Erik G. Larsson, Fredrik Tufvesson, Ove Edfors, Thomas L. Marzetta:
Massive MIMO for Next Generation Wireless Systems.
Pak Hou Che, Mayank Bakshi, Sidharth Jaggi:
Reliable Deniable Communication: Hiding Messages in Noise.

Robert Sanderson, Paolo Ciccarese, Herbert Van de Sompel:
Designing the W3C Open Annotation Data Model.
Thomas Place, Lorijn van Rooijen, Marc Zeitoun:
Separating regular languages by piecewise testable and unambiguous languages.
Harold N. Gabow, Piotr Sankowski:
Algebraic Algorithms for b-Matching, Shortest Undirected Paths, and f-Factors.
Mahnoosh Alizadeh, George Kesidis, Anna Scaglione:
Clustering Consumption in Queues: A Scalable Model for Electric Vehicle Scheduling.
Mahantesh Halappanavar, Sutanay Choudhury, Emilie Hogan, Peter Hui, John R. Johnson, Indrajit Ray, Lawrence B. Holder:
Towards a Networks-of-Networks Framework for Cyber Security.
Daniel de Carvalho, Lorenzo Tortora de Falco:
A semantic account of strong normalization in Linear Logic.
Tauhid Zaman, Emily B. Fox, Eric T. Bradlow:
A Bayesian Approach for Predicting the Popularity of Tweets.
Sou-Cheng T. Choi:
Minimal Residual Methods for Complex Symmetric, Skew Symmetric, and Skew Hermitian Systems.


Kawser Wazed Nafi, Tonny Shekha Kar, Md. Amjad Hossain, M. M. A. Hashem:
A New Trusted and E-Commerce Architecture for Cloud Computing.
Daan Fierens, Guy Van den Broeck, Joris Renkens, Dimitar Sht. Shterionov, Bernd Gutmann, Ingo Thon, Gerda Janssens, Luc De Raedt:
Inference and learning in probabilistic logic programs using weighted Boolean formulas.
Jean-Daniel Boissonnat, Tamal K. Dey, Clément Maria:
The Compressed Annotation Matrix: an Efficient Data Structure for Computing Persistent Cohomology.
Yue Ling Che, Rui Zhang, Yi Gong:
On Design of Opportunistic Spectrum Access in the Presence of Reactive Primary Users.
Matthew Anderson, Anuj Dawar, Bjarki Holm:
Maximum Matching and Linear Programming in Fixed-Point Logic with Counting.
Maria Francis, Ambedkar Dukkipati:
On Reduced Gröbner Basis and Macaulay-Buchberger Basis Theorem over Noetherian Rings.
Prosenjit Bose, Karim Douïeb, John Iacono, Stefan Langerman:
The Power and Limitations of Static Binary Search Trees with Lazy Finger.
Clemens Wiltsche:
Automated Synthesis of Controllers for Search and Rescue from Temporal Logic Specifications.
Christian Konrad, Adi Rosén:
Approximating Semi-Matchings in Streaming and in Two-Party Communication.
Saguy Benaim, Michael Benedikt, Rastislav Lenhardt, James Worrell:
Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees.
Mark Levene, Trevor I. Fenner, Judit Bar-Ilan:
A bibliometric index based on the complete list of cited publications.
Mustafa S. Mehmetoglu, Emrah Akyol, Kenneth Rose:
A Deterministic Annealing Approach to Optimization of Zero-delay Source-Channel Codes.



Gayatri Ramesh, Elie Atallah, Qiyu Sun:
Recovery of bilevel causal signals with finite rate of innovation using positive sampling kernels.

Roi Livni, Shai Shalev-Shwartz, Ohad Shamir:
A Provably Efficient Algorithm for Training Deep Networks.
Chetan Jhurani, Paul Mullowney:
A GEMM interface and implementation on NVIDIA GPUs for multiple small matrices.

Tomohiro I, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda:
Efficient Lyndon factorization of grammar compressed text.
Tomohiro I, Wataru Matsubara, Kouji Shimohira, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda, Kazuyuki Narisawa, Ayumi Shinohara:
Detecting regularities on grammar-compressed strings.
Priyanka Negi, Anupama Mishra, B. B. Gupta:
Enhanced CBF Packet Filtering Method to Detect DDoS Attack in Cloud Computing Environment.

Shuiyin Liu, Cong Ling, Xiaofu Wu:
Proximity Factors of Lattice Reduction-Aided Precoding for Multiantenna Broadcast.
Jonathan Tapson, Gregory Cohen, Saeed Afshar, Klaus M. Stiefel, Y. Buskila, Runchun Wang, Tara Julia Hamilton, André van Schaik:
Synthesis of neural networks for spatio-temporal spike pattern recognition and processing.
Jordi Arjona Aroca, Antonio Fernández Anta, Miguel A. Mosteiro, Christopher Thraves:
Power-efficient Assignment of Virtual Machines to Physical Machines.
Ruben Gamboa, Jared Davis:
Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013. EPTCS 114, 2013 [contents]
Gernot Riegler, Thomas Pock, Werner Pötzi, Astrid Veronig:
Filament and Flare Detection in Hα image sequences.
M. Helmberger, Martin Urschler, Michael Pienn, Zoltán Bálint, Andrea Olschewski, Horst Bischof:
Pulmonary Vascular Tree Segmentation from Contrast-Enhanced CT Images.
Phillip Lord, Lindsay Marshall:
Twenty-Five Shades of Greycite: Semantics for referencing and preservation.
Leon Derczynski, Richard Shaw, Ben Solway, Jun Wang:
Question Answering Against Very-Large Text Collections.
Antoine Bordes, Nicolas Usunier, Alberto García-Durán, Jason Weston, Oksana Yakhnenko:
Irreflexive and Hierarchical Relations as Translations.
Martino Borello:
The automorphism group of a self-dual [72,36,16] code is not an elementary abelian group of order 8.
Albert Kavelar, Sebastian Zambanini, Martin Kampel:
Reading Ancient Coin Legends: Object Recognition vs. OCR.
Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier:
Stochastic Cellular Automata: Correlations, Decidability and Simulations.
Witold Charatonik, Emanuel Kieronski, Filip Mazowiecki:
Satisfiability of the Two-Variable Fragment of First-Order Logic over Trees.
Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä:
Bounded Model Checking of an MITL Fragment for Timed Automata.
Oleg Kupervasser, Alexander Rubinstein:
Correction of inertial navigation system's errors by the help of video-based navigator based on Digital Terrarium Map.
Russell J. Bradford, James H. Davenport, Matthew England, David J. Wilson:
Optimising Problem Formulation for Cylindrical Algebraic Decomposition.
Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson:
Understanding Branch Cuts of Expressions.
Paolo Ciccarese, Stian Soiland-Reyes, Khalid Belhajjame, Alasdair J. G. Gray, Carole A. Goble, Tim Clark:
PAV ontology: Provenance, Authoring and Versioning.
F. Gubarev, V. Kunin, A. Pospelov:
Lay-up Optimization of Laminated Composites: Mixed Approach with Exact Feasibility Bounds on Lamination Parameters.
Alessandro Perina, Nebojsa Jojic:
In the sight of my wearable camera: Classifying my visual experience.
Arindam Chaudhuri, Kajal De, Dipak Chatterjee:
Solution of the Decision Making Problems using Fuzzy Soft Relations.
Arindam Chaudhuri, Kajal De, Dipak Chatterjee:
Solution of System of Linear Equations - A Neuro-Fuzzy Approach.
Rudolf Berghammer, Henning Schnoor:
Relation-algebraic and Tool-supported Control of Condorcet Voting.
Shaunak D. Bopardikar, Brendan J. Englot, Alberto Speranzon:
Robust Belief Roadmap: Planning Under Intermittent Sensing.
Travis E. Gibson, Anuradha M. Annaswamy, Eugene Lavretsky:
On Adaptive Control with Closed-loop Reference Models: Transients, Oscillations, and Peaking.
Shandian Zhe, Zenglin Xu, Yuan Qi, Peng Yu:
Supervised Heterogeneous Multiview Learning for Joint Association Study and Disease Diagnosis.
Minyar Sassi Hidri, Soukaina Ben Bdira:
Traitement approximatif des requêtes flexibles avec groupement d'attributs et jointure.
Rushikesh B. Shreshtha, Rajeswari Goudar:
Self Configurable Re-link Establishment using Continuous Neighbor Discovery in Asynchronous Sensor Networks.
Stefanie Haustein, Isabella Peters, Judit Bar-Ilan, Jason Priem, Hadas Shema, Jens Terliesner:
Coverage and adoption of altmetrics sources in the bibliometric community.
Alina Ene, Sariel Har-Peled, Benjamin Raichel:
Fast Clustering with Lower Bounds: No Customer too Far, No Shop too Small.





Jeong Ho Yeo, Joon Ho Cho:
Asymptotic FRESH Properizer for Block Processing of Improper-Complex Second-Order Cyclostationary Random Processes.
Markus Rosenkranz, Nalina Phisanbut:
A Symbolic Approach to Boundary Problems for Linear Partial Differential Equations: Applications to the Completely Reducible Case of the Cauchy Problem with Constant Coefficients.
Jie Zhang, En-Hui Yang, John C. Kieffer:
A Universal Grammar-Based Code For Lossless Compression of Binary Trees.
Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell:
A Static Analysis Framework for Livelock Freedom in CSP.
Fenix W. D. Huang, Markus E. Nebel, Christian M. Reidys:
Uniform generation of RNA pseudoknot structures with genus filtration.
Weituo Zhang, Chjan C. Lim, Boleslaw K. Szymanski:
Analytic Treatment of Tipping Points for Social Consensus in Large Random Networks.

Nafisa Afrin Chowdhury, Murshida Khatun, M. M. A. Hashem:
On Integrating Fuzzy Knowledge Using a Novel Evolutionary Algorithm.
Negin Golrezaei, Parisa Mansourifard, Andreas F. Molisch, Alexandros G. Dimakis:
Base-Station Assisted Device-to-Device Communications for High-Throughput Wireless Video Networks.
Renu Jose, Sooraj K. Ambat, K. V. S. Hari:
Low Complexity Joint Estimation of Synchronization Impairments in Sparse Channel for MIMO-OFDM System.


Mohammed F. A. Ahmed, Tareq Y. Al-Naffouri, Mohamed-Slim Alouini:
On the Effect of Correlated Measurements on the Performance of Distributed Estimation.
M. Emre Celebi, Hassan A. Kingravi:
Deterministic Initialization of the K-Means Algorithm Using Hierarchical Clustering.
David Kempe, Jon M. Kleinberg, Sigal Oren, Aleksandrs Slivkins:
Selection and Influence in Cultural Dynamics.
Dor-Joseph Kampeas, Asaf Cohen, Omer Gurewitz:
MAC Capacity Under Distributed Scheduling of Multiple Users and Linear Decorrelation.
Alex Bazarsky, Noam Presman, Simon Litsyn:
Design of Non-Binary Quasi-Cyclic LDPC Codes by ACE Optimization.
Eugene Yuta Bann, Joanna J. Bryson:
Measuring Cultural Relativity of Emotional Valence and Arousal using Semantic Clustering and Twitter.
Yuhan Zhou, Wei Yu, Dimitris Toumpakaris:
Uplink Multi-Cell Processing: Approximate Sum Capacity under a Sum Backhaul Constraint.
Mehdi Saeedi, Igor L. Markov:
Quantum Circuits for GCD Computation with $O(n \log n)$ Depth and O(n) Ancillae.
Don J. Torrieri, Matthew C. Valenti, Salvatore Talarico:
A New Analysis of the DS-CDMA Cellular Uplink Under Spatial Constraints.
Toke Jansen Hansen, Michael W. Mahoney:
Semi-supervised Eigenvectors for Large-scale Locally-biased Learning.
MohammadHossein Bateni, MohammadTaghi Hajiaghayi, Vahid Liaghat:
Improved Approximation Algorithms for (Budgeted) Node-weighted Steiner Problems.


Rodrigo C. de Lamare, Raimundo Sampaio Neto:
Adaptive Reduced-Rank RLS Algorithms based on Joint Iterative Optimization of Filters for Space-Time Interference Suppression.
Rodrigo C. de Lamare, Are Hjørungnes, Raimundo Sampaio Neto:
Adaptive Decision Feedback Reduced-Rank Equalization Based on Joint Iterative Optimization of Adaptive Estimation Algorithms for Multi-Antenna Systems.
Nachshon Cohen, Zeev Nutov:
Approximating {0,1,2}-Survivable Networks with Minimum Number of Steiner Points.

Fatima Amir Hamza, Lamia Romdhani, Amr Mohamed:
Novel Network Coding-based Techniques for Multi-layer Video Delivery over Multi-hop Wireless testbed.
Chris Chilton, Marta Z. Kwiatkowska, Xu Wang:
Revisiting Timed Specification Theory II : Realisability.
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson:
Cylindrical Algebraic Decompositions for Boolean Combinations.
Latanya Sweeney, Akua Abu, Julia Winn:
Identifying Participants in the Personal Genome Project by Name (A Re-identification Experiment).
Guoxin Su, David S. Rosenblum:
Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems.

Mônica G. Campiteli, Adriano J. Holanda, Leonardo D. H. Soares, Paulo R. C. Soles, Osame Kinouchi:
Lobby-Hirsch index as a network centrality measure.
Ben Roberts, Dinan Gunawardena, Ian A. Kash, Peter Key:
Ranking and Tradeoffs in Sponsored Search Auctions.
Xianwen Wang, Wenli Mao, Shenmeng Xu, Chunbo Zhang:
Attention History Over Time of Scientific Literature: Metrics of Nature Publications.
Adrian Jackson, M. Sergio Campobasso:
Optimised hybrid parallelisation of a CFD code on Many Core architectures.
Markus Wittmann, Georg Hager, Thomas Zeiser, Gerhard Wellein:
An analysis of energy-optimized lattice-Boltzmann CFD simulations from the chip to the highly parallel level.
Guy Even, Moti Medina:
A Nonmonotone Analysis with the Primal-Dual Approach: online routing of virtual circuits with unknown durations.
Jurek Czyzowicz, Leszek Gasieniec, Konstantinos Georgiou, Evangelos Kranakis, Fraser MacQuarrie:
The Beachcombers' Problem: Walking and Searching with Mobile Robots.
Yun Wei, Chuanyi Ji, Floyd Galvan, Stephen Couvillon, George Orellana, James Momoh:
Learning Geo-Temporal Non-Stationary Failure and Recovery of Power Distribution.
Ana Georgina Flesia, Javier Gimenez, Elena Rufeil Fiori:
Markovian models for one dimensional structure estimation on heavily noisy imagery.
Darrell Hoy, Kamal Jain, Christopher A. Wilkens:
A Dynamic Axiomatic Approach to First-Price Auctions.
Sundar R. Krishnamurthy, Syed Ali Jafar:
On the Capacity of the Finite Field Counterparts of Wireless Interference Networks.
Yuxin Chen, Andrea Goldsmith, Yonina C. Eldar:
Minimax Capacity Loss under Sub-Nyquist Universal Sampling.
Esha Sahai, Ken Watts, Rick Adrion:
Extending Record and Playback Technologies to Support Cooperative Learning.
Guillaume Aupy, Manu Shantharam, Anne Benoit, Yves Robert, Padma Raghavan:
Co-Scheduling Algorithms for High-Throughput Workload Execution.

Michael 'Adrir' Scott:
Vocalnayno: Designing a Game-Based Intervention to Support Reading Development in Primary Schools.

R. U. Gobithaasan, J. M. Ali, Kenjiro T. Miura:
The Logarithmic Curvature Graphs of Generalised Cornu Spirals.
Azruddin Ahmad, Gobithasan Rudrusamy, Rahmat Budiarto, Azman Samsudin, Sureswaran Ramadass:
A Hybrid Rule Based Fuzzy-Neural Expert System For Passive Network Monitoring.

Rami Abousleiman, Guangzhi Qu, Osamah A. Rawashdeh:
North Atlantic Right Whale Contact Call Detection.
Kenjiro T. Miura, R. Shirahata, S. Agari, Shin Usuki, R. U. Gobithaasan:
Variational Formulation of the Log-Aesthetic Surface and Development of Discrete Surface Filters.
Leopoldo E. Bertossi, Jaffer Gardezi:
On the Complexity of Query Answering under Matching Dependencies for Entity Resolution.


Shilpi Goel, Warren A. Hunt Jr., Matt Kaufmann:
Abstract Stobjs and Their Application to ISA Modeling. 54-69



David S. Hardin, Samuel S. Hardin:
ACL2 Meets the GPU: Formalizing a CUDA-based Parallelizable All-Pairs Shortest Path Algorithm in ACL2. 127-142
Gobithasan Rudrusamy, Azrudin Ahmad, Rahmat Budiarto, Azman Samsudin, Sureswaran Ramadass:
Fuzzy Based Diagnostics System for Identifying Network Traffic Flow Anomalies.
Sebastiaan J. C. Joosten, Bernard van Gastel, Julien Schmaltz:
A Macro for Reusing Abstract Functions and Theorems. 29-41
R. U. Gobithaasan, Jamaludin Md. Ali, Kenjiro T. Miura:
An Improvised Algorithm to Identify The Beauty of A Planar Curve.
Deepali Kayande, Urmila Shrawankar:
Priority Based Pre-emptive Task Scheduling for Android Operating System.
Paul Meissner, Erik Leitinger, Markus Fröhle, Klaus Witrisal:
Accurate and Robust Indoor Localization Systems using Ultra-wideband Signals.
Michele Filannino, Gavin Brown, Goran Nenadic:
ManTIME: Temporal expression identification and normalization in the TempEval-3 challenge.
Christian Osendorfer, Justin Bayer, P. Patrick van der Smagt:
Convolutional Neural Networks learn compact local image descriptors.
Yi Fang, Lin Wang, Guanrong Chen:
Performance of a Multiple-Access DCSK-CC System over Nakagami-$m$ Fading Channels.
Vahid Jamali, Nikola Zlatanov, Aïssa Ikhlef, Robert Schober:
Adaptive Mode Selection and Power Allocation in Bidirectional Buffer-aided Relay Networks.
Fabian Hadiji, Kristian Kersting, Christian Bauckhage, Babak Ahmadi:
GeoDBLP: Geo-Tagging DBLP for Mining the Sociology of Computer Science.
Romain Absil, Hadrien Mélot:
Digenes: genetic algorithms to discover conjectures about directed and undirected graphs.
S. Thirumurugan, E. George Dharma Prakash Raj:
A Novel Cluster Validation Approach on Pso-Pac Mechanism in Ad Hoc Network.
Sheraz Anjum, Ehsan Ullah Munir, Waqas Anwar, Nadeem Javaid:
Object Oriented Model for Evaluation of On-Chip Networks.
Lukas Barth, Stephen G. Kobourov, Sergey Pupyrev, Torsten Ueckerdt:
On Semantic Word Cloud Representation.
Gerhard Kurz, Igor Gilitschenski, Simon Julier, Uwe D. Hanebeck:
Recursive Estimation of Orientation Based on the Bingham Distribution.
Daniele Calandriello, Gang Niu, Masashi Sugiyama:
Semi-Supervised Information-Maximization Clustering.
Rafik Zitouni, Stefan Ataman, Marie Mathian, Laurent George:
IEEE 802.15.4 transceiver for the 868/915 MHz band using Software Defined Radio.
Bernhard Etzlinger, Henk Wymeersch, Andreas Springer:
Cooperative Synchronization in Wireless Networks.
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli:
A Syntactic-Semantic Approach to Incremental Verification.
Luis Filipe Coelho Antunes, Bruno Bauwens, Andre Souto, Andreia Teixeira:
Sophistication vs Logical Depth.
Binjie Qin, ZhiJun Gu, Xianjun Sun, Yisong Lv:
Registration of Images with Outliers Using Joint Saliency Map.
Alexander Kobel, Michael Sagraloff:
Fast Approximate Polynomial Multipoint Evaluation and Applications.
Rupa Patel, Urmila Shrawankar, Vilas M. Thakare:
Secure Transmission of Password Using Speech Watermarking.
Dilip Bethanabhotla, Giuseppe Caire, Michael J. Neely:
Joint Transmission Scheduling and Congestion Control for Adaptive Video Streaming in Small-Cell Networks.
Aditya Bhaskara, Moses Charikar, Aravindan Vijayaraghavan:
Uniqueness of Tensor Decompositions with Applications to Polynomial Identifiability.
P. Shanmugavadivu, V. Sivakumar:
Fractal-Based Detection of Microcalcification Clusters in Digital Mammograms.
Sergey Loyka, Victoria Kostina, François Gagnon:
On Convexity of Error Rates in Digital Communications.




Zeyuan Allen Zhu, Silvio Lattanzi, Vahab S. Mirrokni:
A Local Algorithm for Finding Well-Connected Clusters.
Shay Solomon:
From Hierarchical Partitions to Hierarchical Covers: Optimal Fault-Tolerant Spanners for Doubling Metrics.

Ali Khanafer, Behrouz Touri, Tamer Basar:
Robust Distributed Averaging on Networks with Adversarial Intervention.
Vincenzo De Leo, Giovanni Santoboni, Federica Cerina, Mario Mureddu, Luca Secchi, Alessandro Chessa:
Community core detection in transportation networks.
Pedro Francisco Valencia Vizcaíno:
Relations between ex falso, tertium non datur, and double negation elimination.

Galen Sher, Pedro Vitoria:
An Information-Theoretic Test for Dependence with an Application to the Temporal Structure of Stock Returns.
Marzieh Parandehgheibi, Eytan Modiano:
Robustness of Interdependent Networks: The case of communication networks and the power grid.
Mehdi Saeedi, Alireza Shafaei, Massoud Pedram:
Constant-Factor Optimization of Quantum Adders on 2D Quantum Architectures.
Marco Ajmone Marsan, David K. Arrowsmith, Wolfgang Breymann, Oliver Fritz, Marcelo Masera, Anna Mengolini, Anna Carbone:
The Emerging Energy Web.
Yuichiro Fujiwara, Vladimir D. Tonchev, Tony W. H. Wong:
Algebraic techniques in designing quantum synchronizable codes.
Pascal Maillard, Ofer Zeitouni:
Performance of the Metropolis algorithm on a disordered tree: the Einstein relation.

Fredrik Engström, Juha Kontinen, Jouko A. Väänänen:
Dependence Logic with Generalized Quantifiers: Axiomatizations.
Orion Penner, Raj Kumar Pan, Alexander M. Petersen, Santo Fortunato:
The case for caution in predicting scientists' future impact.
Héctor Martínez, Joaquín Tárraga, Ignacio Medina, Sergio Barrachina, Maribel Castillo, Joaquín Dopazo, Enrique S. Quintana-Ortí:
Concurrent and Accurate RNA Sequencing on Multicore Platforms.

Sameet Sreenivasan:
Quantitative analysis of the evolution of novelty in cinema through crowdsourced keywords.
Dirk Helbing:
Introduction: The FuturICT Knowledge Accelerator Towards a More Resilient and Sustainable Future.

Sears Merritt, Aaron Clauset:
Environmental structure and competitive scoring advantages in team competitions.
Johan Bollen, David J. Crandall, Damion Junk, Ying Ding, Katy Börner:
Collective allocation of science funding: from funding agencies to scientific agency.
Santo Fortunato, Michael W. Macy, Sidney Redner:
Editorial: Statistical Mechanics and Social Sciences.
David A. van Leeuwen, Niko Brümmer:
The distribution of calibrated likelihood-ratios in speaker recognition.

Arnold Wiliem, Yongkang Wong, Conrad Sanderson, Peter Hobson, Shaokang Chen, Brian C. Lovell:
Classification of Human Epithelial Type 2 Cell Indirect Immunofluoresence Images via Codebook Based Descriptors.
Filippo Radicchi, Claudio Castellano:
Analysis of bibliometric indicators for individual scholars in a large data set.
Morgan R. Frank, Lewis Mitchell, Peter Sheridan Dodds, Christopher M. Danforth:
Happiness and the Patterns of Life: A Study of Geolocated Tweets.
Ming Yan:
Restoration of Images Corrupted by Impulse Noise and Mixed Gaussian Impulse Noise using Blind Inpainting.
Melek Tendurus, Atilim Günes Baydin, Marieke A. Eleveld, Alison J. Gilbert:
City versus wetland: Predicting urban growth in the Vecht area with a cellular automaton model.
Ligia Chira Cremene, D. Dumitrescu:
Beyond Nash Equilibrium in Open Spectrum Sharing: Lorenz Equilibrium in Discrete Games.

Simon W. Funke, Patrick E. Farrell, M. D. Piggott:
Tidal turbine array optimisation using the adjoint approach.
Radu Balan:
Reconstruction of Signals from Magnitudes of Redundant Representations: The Complex Case.
Nelson Fernández, Carlos Maldonado, Carlos Gershenson:
Information Measures of Complexity, Emergence, Self-organization, Homeostasis, and Autopoiesis.
Alois Ferscha, Katayoun Farrahi, Jeroen van den Hoven, David Hales, Andrzej Nowak, Paul Lukowicz, Dirk Helbing:
Socio-inspired ICT - Towards a socially grounded society-ICT symbiosis.
Mario Paolucci, Donald Kossmann, Rosaria Conte, Paul Lukowicz, Panos Argyrakis, Ann Blandford, Giulia Bonelli, Stuart Anderson, Sara de Freitas, Bruce Edmonds, Nigel Gilbert, Markus H. Gross, Jörn Kohlhammer, Petros Koumoutsakos, Andreas Krause, Björn-Ola Linnér, Philipp Slusallek, Olga Sorkine, Robert W. Sumner, Dirk Helbing:
Towards a living earth simulator.
L. D. Angulo, J. Alvarez, Fernando L. Teixeira, Amelia Rubio Bretones, Salvador G. Garcia:
Causal--Path Local Time--Stepping in the Discontinuous Galerkin Method for Maxwell's equations.
Roberto Capuzzo-Dolcetta, Mario Spera:
A Performance Comparison of Different Graphics Processing Units Running Direct N-Body Simulations.
Giovanna Miritello, Rubén Lara, Manuel Cebrián, Esteban Moro Egido:
Limited communication capacity unveils strategies for human interaction.
Corentin Briat:
Convex conditions for robust stability analysis and stabilization of linear aperiodic impulsive and sampled-data systems under dwell-time constraints.
Chol-Hui Yun, W. Metzler, M. Barski:
Image Compression predicated on Recurrent Iterated Function Systems.


Mrigank Sharad, Kaushik Roy:
Spintronic Switches for Ultra Low Energy On-Chip and Inter-Chip Current-Mode Interconnects.
Mark Stephen Rowan, Samuel A. Neymotin:
Synaptic Scaling Balances Learning in a Spiking Model of Neocortex.
Mrigank Sharad, Deliang Fan, Kaushik Roy:
Ultra Low Power Associative Computing with Spin Neurons and Resistive Crossbar Memory.
Dan Lovell, Jonathan Malmaud, Ryan P. Adams, Vikash K. Mansinghka:
ClusterCluster: Parallel Markov Chain Monte Carlo for Dirichlet Process Mixtures.
Nilanjana Datta, Joseph M. Renes, Renato Renner, Mark M. Wilde:
One-shot lossy quantum data compression.
Pablo Fleurquin, José J. Ramasco, Víctor M. Eguíluz:
Characterization of delay propagation in the airport network.


Ammar Nejati, Seyyed Mehdi Hosseini Jenab:
A Two-Dimensional Approach to Evaluate the Scientific Production of Countries (Case Study: The Basic Sciences).
Hector Zenil, Elena Villarreal Zapata:
Asymptotic Behaviour and Ratios of Complexity in Cellular Automata.
Haiping Huang, K. Y. Michael Wong, Yoshiyuki Kabashima:
Entropy landscape of solutions in the binary perceptron problem.
Niko Brümmer, Edward de Villiers:
The BOSARIS Toolkit: Theory, Algorithms and Code for Surviving the New DCF.
Flavia Maria Darcie Marquitti, Paulo Roberto Guimaraes Jr., Mathias Mistretta Pires, Luiz Fernando Bittencourt:
MODULAR: Software for the Autonomous Computation of Modularity in Large Network Sets.
Marianne Marcoux, David Lusseau:
The influence of repressive legislation on the structure of a social media network.
Takashi Tanaka, Farhad Farokhi, Cédric Langbort:
A Faithful Distributed Implementation of Dual Decomposition and Average Consensus Algorithms.
Serkan Akkoyun, Tuncay Bayram, S. Okan Kara:
Improvement studies on neutron-gamma separation in HPGe detectors by using neural networks.
Wenxiong Zhou, Yanyu Wang, Gangyang Nan, Jianchuan Zhang:
The design of high-speed data transmission method for a small nuclear physics DAQ system.

David Elkouss, Jesús Martínez-Mateo, Vicente Martin:
Analysis of a rate-adaptive reconciliation protocol and the effect of the leakage on the secret key rate.
Boris Rudolf, Mária Markosová, Martin Cajági, Peter Tiño:
Degree distribution and scaling in the Connecting Nearest Neighbors model.


Alexander Bucksch, Greg Turk, Joshua S. Weitz:
The Fiber Walk: A Model of Tip-Driven Growth with Lateral Expansion.
Simon Beckouche, Jean-Luc Starck, Jalal Fadili:
Astronomical Image Denoising Using Dictionary Learning.
Mario Vincenzo Tomasello, Mauro Napoletano, Antonios Garas, Frank Schweitzer:
The Rise and Fall of R&D Networks.

Sheila Gaynor, Eric Bair:
Identification of biologically relevant subtypes via preweighted sparse clustering.
Gabor I. Simko, Peter Csermely:
Nodes having a major influence to break cooperation define a novel centrality measure: game centrality.

Shyam S. Chandramouli, Jay Sethuraman:
Strategyproof and Consistent Rules for Bipartite Flow Problems.
David Elkouss, Jesús Martínez-Mateo, Alex Ciurana, Vicente Martin:
Secure Optical Networks Based on Quantum Key Distribution and Weakly Trusted Repeaters.
Fabrizio de Vico Fallani, Vincenzo Nicosia, Vito Latora, Mario Chavez:
Non-parametric resampling of random walks for spectral network clustering.

Alexander Petukhov, Inna Kozlov:
Correcting Errors in Linear Measurements and Compressed Sensing of Multiple Sources.
Martin Storath, Andreas Weinmann, Laurent Demaret:
Jump-sparse and sparse recovery using Potts functionals.
Andrew J. Christlieb, David Lawlor, Yang Wang:
A Multiscale Sub-linear Time Fourier Algorithm for Noisy Data.
Lev Muchnik, Sen Pei, Lucas C. Parra, Saulo D. S. Reis, José S. Andrade Jr., Shlomo Havlin, Hernán A. Makse:
Origins of power-law degree distribution in the heterogeneity of human activity in social networks.
Brian Swenson, Soummya Kar, João Manuel Freitas Xavier:
Empirical Centroid Fictitious Play: An Approach For Distributed Learning In Multi-Agent Games.
Andrew M. Childs, Robin Kothari, Maris Ozols, Martin Roetteler:
Easy and hard functions for the Boolean hidden shift problem.
Jean M. Carlson, David L. Alderson, Sean P. Stromberg, Danielle S. Bassett, Emily M. Craparo, Francisco Gutierrez-Villarreal, Thomas Otani:
Measuring and Modeling Behavioral Decision Dynamics in Collective Evacuation.
Divyanshu Vats, Robert D. Nowak:
A Junction Tree Framework for Undirected Graphical Model Selection.
Pooya Hatami, Sushant Sachdeva, Madhur Tulsiani:
An Arithmetic Analogue of Fox's Triangle Removal Argument.
Luo-Luo Jiang, Matjaz Perc, Attila Szolnoki:
If cooperation is likely punish mildly: Insights from economic experiments based on the snowdrift game.
Samantha Hansen, Todd D. Plantenga, Tamara G. Kolda:
Newton-Based Optimization for Nonnegative Tensor Factorizations.
Marcel Jackson, Tomasz Kowalski, Todd Niven:
Digraph related constructions and the complexity of digraph homomorphism problems.
Alex Rutherford, Manuel Cebrián, Iyad Rahwan, Sohan Dsouza, James McInerney, Victor Naroditskiy, Matteo Venanzi, Nicholas R. Jennings, J. R. deLara, Eero Wahlstedt, Steven U. Miller:
Targeted Social Mobilisation in a Global Manhunt.

Andrei R. Akhmetzhanov, Lee Worden, Jonathan Dushoff:
Effects of mixing in threshold models of social behavior.
Satoshi Eguchi:
"Superluminal" FITS File Processing on Multiprocessors: Zero Time Endian Conversion Technique.
Ian R. Petersen:
Quantum Popov robust stability analysis of an optical cavity containing a saturated Kerr medium.
Trivik Verma, Wendy Ellens, Robert E. Kooij:
Context-Independent Centrality Measures Underestimate the Vulnerability of Power Grids.
Corentin Briat, Ankit Gupta, Mustafa Khammash:
A scalable computational framework for establishing long-term behavior of stochastic reaction networks.

Rachael Tappenden, Peter Richtárik, Jacek Gondzio:
Inexact Coordinate Descent: Complexity and Preconditioning.
Qixin Wang, Menghui Li, Hualong Zu, Mingyi Gao, Chenghua Cao, Li Charlie Xia:
A quantitative evaluation of health care system in US, China, and Sweden.
Sriganesh Srihari, Mark A. Ragan:
Computing Pathways to Systems Biology: Key Contributions of Computational Methods in Pathway Identification.
Boris Lesner, Bruno Scherrer:
Tight Performance Bounds for Approximate Modified Policy Iteration with Non-Stationary Policies.

Sébastien Bubeck, Che-Yu Liu:
A note on the Bayesian regret of Thompson Sampling with an arbitrary prior.
Alicia Dickenstein, Ioannis Z. Emiris, Anna Karasoulou:
Plane mixed discriminants and toric jacobians.
Edward Grefenstette:
Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors.
Stéphane Molla, Bruno Torrésani:
A hybrid scheme for encoding audio signal using hidden Markov models of waveforms.
Siddharth Gaba, Patrick Sheridan, Jiantao Zhou, Shinhyun Choi, Wei D. Lu:
Stochastic Memristive Devices for Computing and Neuromorphic Applications.
Dave Zachariah, Alessio De Angelis, Satyam Dwivedi, Peter Händel:
Self-Localization of Asynchronous Wireless Nodes With Parameter Uncertainties.
Catherine A. Bliss, Morgan R. Frank, Christopher M. Danforth, Peter Sheridan Dodds:
An Evolutionary Algorithm Approach to Link Prediction in Dynamic Social Networks.


Tomoaki Okayama:
Theoretical analysis of Sinc-collocation methods and Sinc-Nyström methods for initial value problems.
Young-Ho Eom, Klaus M. Frahm, András A. Benczúr, Dima Shepelyansky:
Time evolution of Wikipedia network ranking.
Thomas W. Kelsey, Sarah K. Dodwell, A. Graham Wilkinson, Tine Greve, Claus Y. Andersen, Richard A. Anderson, W. Hamish B. Wallace:
Ovarian volume throughout life: a validated normative model.
Bamdev Mishra, Gilles Meyer, Rodolphe Sepulchre:
Low-rank optimization for distance matrix completion.
Andrea Baronchelli, Ramon Ferrer-i-Cancho, Romualdo Pastor-Satorras, Nick Chater, Morten H. Christiansen:
Networks in Cognitive Science.
Diego Chavarro, Puay Tang, Ismael Rafols:
Interdisciplinary research and the production of local knowledge: evidence from a developing country.
German Luna, Samuel Reid, Bianca De Sanctis, Vlad Gheorghiu:
A Combinatorial Approach to Quantum Error Correcting Codes.
Lior Shamir, John F. Wallin, Alice Allen, G. Bruce Berriman, Peter J. Teuben, Robert J. Nemiroff, Jessica Mink, Robert J. Hanisch, Kimberly DuPrie:
Practices in source code sharing in astrophysics.
Son Hoang Dau, Yeow Meng Chee:
Polynomial Time Algorithm for Min-Ranks of Graphs with Simple Tree Structures.
Konstantin Usevich, Ivan Markovsky:
Variable projection methods for approximate (greatest) common divisor computations.
Olivier Allix, Pierre Gosselet, Pierre Kerfriden, Karin Saavedra:
Virtual Delamination Testing through Non-Linear Multi-Scale Computational Methods: Some Recent Progress.
P. Singh, Sameet Sreenivasan, Boleslaw K. Szymanski, Gyorgy Korniss:
Threshold-limited spreading in social networks with multiple initiators.
Chetan Jhurani:
Subspace-preserving sparsification of matrices with minimal perturbation to the near null-space. Part I: Basics.
Chetan Jhurani:
Subspace-preserving sparsification of matrices with minimal perturbation to the near null-space. Part II: Approximation and Implementation.
Jakob Ablinger, Johannes Blümlein:
Harmonic Sums, Polylogarithms, Special Numbers, and their Generalizations.
Chang Jin Wan, Li Qiang Zhu, Yi Shi, Qing Wan:
Learning and Spatiotemporally Correlated Functions Mimicked in Oxide-Based Artificial Synaptic Transistors.
David C. Kessler, Jack A. Taylor, David B. Dunson:
Learning Densities Conditional on Many Interacting Features.
Ramon Ferrer-i-Cancho, Lukasz Debowski, Fermín Moscoso del Prado Martín:
Constant conditional entropy and related hypotheses.
Sinan Aksoy, Alexander Adam Azzam, Chaya Coppersmith, Julie Glass, Gizem Karaali, Xueying Zhao, Xinjing Zhu:
School Choice as a One-Sided Matching Problem: Cardinal Utilities and Optimization.
Nikolai Krivulin:
A maximization problem in tropical mathematics: a complete solution and application examples.
Varun Shankar, Grady B. Wright, Robert M. Kirby, Aaron L. Fogelson:
Augmenting the Immersed Boundary Method with Radial Basis Functions (RBFs) for the Modeling of Platelets in Hemodynamic Flows.
Xiaolin Tang, Chunhua Yang, Xiaojun Zhou, Weihua Gui:
A Discrete State Transition Algorithm for Generalized Traveling Salesman Problem.
Markos A. Katsoulakis, Petr Plechác:
Information-theoretic tools for parametrized coarse-graining of non-equilibrium extended systems.

Joris M. Mooij, Dominik Janzing, Bernhard Schölkopf:
From Ordinary Differential Equations to Structural Causal Models: the deterministic case.
Nikos Vlassis, Maria Pires Pacheco, Thomas Sauter:
Fast Reconstruction of Compact Context-Specific Metabolic Network Models.

Ben D. Fulcher, Max A. Little, Nick S. Jones:
Highly comparative time-series analysis: The empirical structure of time series and their methods.

Andrey Kupavskii, Liudmila Ostroumova, Dmitry A. Shabanov, Prasad Tetali:
The distribution of second degrees in the Buckley-Osthus random graph model.



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
